diff options
| author | Erich Eckner <git@eckner.net> | 2018-05-15 12:48:56 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-15 12:48:56 +0200 |
| commit | 1a1f676cb7e77334b85c27db23be75d5ca8f1909 (patch) | |
| tree | b50d54bbb59f98db75b5dddc62f242d1547d020c | |
| parent | c95d83e7c6ac3f72536153ea1b1910cea3e414ad (diff) | |
| download | builder-1a1f676cb7e77334b85c27db23be75d5ca8f1909.tar.xz | |
bin/return-assignment: reset build_assignments.priority in case of failed build
| -rwxr-xr-x | bin/return-assignment | 3 |
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}" | \ |