diff options
| author | Erich Eckner <git@eckner.net> | 2018-04-23 16:39:58 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-04-23 16:39:58 +0200 |
| commit | 018bc84c8445d8d5ccb418ec4c6563a0f586b525 (patch) | |
| tree | 3b8c044c74a83ef964eba52a941c23eee39468ec /bin/ping-from-slave | |
| parent | d17e88db80016613822451191b2be8cff4adcefc (diff) | |
| download | builder-018bc84c8445d8d5ccb418ec4c6563a0f586b525.tar.xz | |
bin/ping-from-slave: do not abort build if database is funny
Diffstat (limited to 'bin/ping-from-slave')
| -rwxr-xr-x | bin/ping-from-slave | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/ping-from-slave b/bin/ping-from-slave index 3c03b45..7611f44 100755 --- a/bin/ping-from-slave +++ b/bin/ping-from-slave @@ -18,7 +18,8 @@ if [ "$( printf ' WHERE `build_slaves`.`name`=from_base64("%s");\n' \ "$(printf '%s' "${slave}" | base64 -w0)" } | \ - mysql_run_query 'unimportant' + mysql_run_query 'unimportant' || \ + echo '1' )" -ne 1 ]; then >&2 echo 'You do not build anything currently - abort whatever you are doing.' exit 2 |