Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-05-15 12:48:56 +0200
committerErich Eckner <git@eckner.net>2018-05-15 12:48:56 +0200
commit1a1f676cb7e77334b85c27db23be75d5ca8f1909 (patch)
treeb50d54bbb59f98db75b5dddc62f242d1547d020c /bin
parentc95d83e7c6ac3f72536153ea1b1910cea3e414ad (diff)
bin/return-assignment: reset build_assignments.priority in case of failed build
Diffstat (limited to 'bin')
-rwxr-xr-xbin/return-assignment3
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/return-assignment b/bin/return-assignment
index f8f5546..553247c 100755
--- a/bin/return-assignment
+++ b/bin/return-assignment
@@ -150,7 +150,8 @@ if [ "$5" = 'ERROR' ]; then
printf 'COMMIT;\n'
fi
printf 'UPDATE `build_assignments`'
- printf ' SET `build_assignments`.`is_broken`=1'
+ printf ' SET `build_assignments`.`is_broken`=1,'
+ printf '`build_assignments`.`priority`=0'
printf ' WHERE `build_assignments`.`id`=from_base64("%s");\n' \
"$(
printf '%s' "${build_assignment_id}" | \