bin/sanity-check: ignore unimportant query leftovers (they may be still running) - builder

diff options

author	Erich Eckner <git@eckner.net>	2018-09-20 14:18:21 +0200
committer	Erich Eckner <git@eckner.net>	2018-09-20 14:18:21 +0200
commit	8c9bb17561b41cc6d400f762e2cc0fc5311f4d13 (patch)
tree	c1fe5eed23ef825218cbb92f4e6755e2f10d5b37 /bin/get-assignment
parent	1563f91689b1307047f6cc139e8b9201e4870162 (diff)

bin/sanity-check: ignore unimportant query leftovers (they may be still running)

Diffstat (limited to 'bin/get-assignment')

0 files changed, 0 insertions, 0 deletions