diff options
author | Erich Eckner <git@eckner.net> | 2021-06-05 20:29:14 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2021-06-05 20:29:14 +0200 |
commit | b7cc5e7e0547346ef87445d2dfd8c2b636dc3287 (patch) | |
tree | ce53807853012c8eae43616757bd336029b632c5 | |
parent | 6f59df0faa06e9e5b2127d8376b12bb1cf2db5fd (diff) | |
download | builder-b7cc5e7e0547346ef87445d2dfd8c2b636dc3287.tar.xz |
bin/get-assignment: some queries (which seem to fail often lately) do not alter the database - mark them as "unimportant", so the buildmaster does not loose sanity, if they get interrupted / aborted (possibly due to ssh connection abortions)
-rwxr-xr-x | bin/get-assignment | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index f2930c4..6abfaef 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -553,7 +553,7 @@ next_building=$( printf '`build_assignments`.`id`' printf ' LIMIT 1;\n' } | \ - mysql_run_query + mysql_run_query 'unimportant' ) if [ -n "${next_building}" ]; then hand_out_assignment "${next_building}" @@ -579,7 +579,7 @@ count_pending=$( "${arch}" printf ';\n' } | \ - mysql_run_query + mysql_run_query 'unimportant' ) if [ "${count_pending}" -eq 0 ]; then |