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/delete-packages | |
parent | 90750bad1b9337731f7ba45b7d4a15544b0e51f6 (diff) | |
download | builder-a9d2ea413bc0b4ccbebd2da7a48a8c0dbaf2e676.tar.xz |
check intentions_left() whenever we get a package_database_lock
Diffstat (limited to 'bin/delete-packages')
-rwxr-xr-x | bin/delete-packages | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/delete-packages b/bin/delete-packages index 1a74bf5..2377f75 100755 --- a/bin/delete-packages +++ b/bin/delete-packages @@ -129,6 +129,11 @@ if ! ${no_action}; then exit 0 fi + if intentions_left; then + >&2 echo 'come back (shortly) later - There are still intentions in the queue.' + exit 0 + fi + exec 7> "${sanity_check_lock_file}" if ! verbose_flock -s ${block_flag} 7; then >&2 echo 'come back (shortly) later - sanity-check running.' |