]> git.ipfire.org Git - thirdparty/knot-dns.git/commitdiff
Merge branch 'tests_extra_pidfile' into 'master'
authorDaniel Salzman <daniel.salzman@nic.cz>
Fri, 25 Jun 2021 08:08:28 +0000 (08:08 +0000)
committerDaniel Salzman <daniel.salzman@nic.cz>
Fri, 25 Jun 2021 08:08:28 +0000 (08:08 +0000)
tests-extra: if there is a PID file before the server starts, wait if it disappears

See merge request knot/knot-dns!1318


Trivial merge