diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-29 13:52:20 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-29 13:52:20 +0200 |
| commit | 979f330103b8ddf354904f4213e507ca4ea3bd12 (patch) | |
| tree | 81ee04c357f32b53b1630c1721b9f948903a970d /lib | |
| parent | 37dd4786515d78db928d6bdd7fd844452f0dd0c9 (diff) | |
| download | builder-979f330103b8ddf354904f4213e507ca4ea3bd12.tar.xz | |
bin/sanity-check: print failed mysql query, too, so we might get a hint which script misses a lock (in case of a temporary problem)
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions