index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2023-07-17 20:55:55 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2023-07-17 20:55:55 +0200 |
commit | 5b1d7ff5b9c42bed0bcdfcb42ff2f5bb799562fc (patch) | |
tree | c0442f48bbfdd8647a38226dd824997dba8e8b2b /lib/intentions-queue | |
parent | 92aa69da7bec790286857c836884be6b7986ce4d (diff) |
-rwxr-xr-x | lib/intentions-queue | 8 |
diff --git a/lib/intentions-queue b/lib/intentions-queue index 61ec4f3..f244e1b 100755 --- a/lib/intentions-queue +++ b/lib/intentions-queue @@ -92,7 +92,15 @@ intentions_left() { # execute_all_intentions # executes all intentions execute_all_intentions() { + exec 6> "${intentions_lock_file}" + if ! verbose_flock 6; then + >&2 echo 'someone already executes intentions - no need to schedule a second run' + return + fi + while intentions_left -n; do execute_intention done + + flock -u 6 } |