diff options
| author | Erich Eckner <git@eckner.net> | 2020-01-30 11:18:03 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-01-30 11:18:03 +0100 |
| commit | a9d2ea413bc0b4ccbebd2da7a48a8c0dbaf2e676 (patch) | |
| tree | 6f0c1e23e4671c1522bf518aa00a6663ae1d9cc9 /bin/modify-package-state | |
| parent | 90750bad1b9337731f7ba45b7d4a15544b0e51f6 (diff) | |
| download | builder-a9d2ea413bc0b4ccbebd2da7a48a8c0dbaf2e676.tar.xz | |
check intentions_left() whenever we get a package_database_lock
Diffstat (limited to 'bin/modify-package-state')
| -rwxr-xr-x | bin/modify-package-state | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/modify-package-state b/bin/modify-package-state index eb1558b..9373467 100755 --- a/bin/modify-package-state +++ b/bin/modify-package-state @@ -145,6 +145,11 @@ if ! verbose_flock ${wait_for_lock} 8; then exit fi +if intentions_left; then + >&2 echo 'There are still intentions in the queue.' + exit +fi + while read -r a b; do case "${action}" in 'faulty'|'tested') |