commit d0a6a2f4fe36dad06c9814683035339fa1276b4d parent 30984f746dc5bfa246bb97bed4016e28b5ad5ec7 Author: Florian Dold <florian.dold@gmail.com> Date: Tue, 16 Jun 2020 13:56:50 +0530 wait for termination Diffstat:
| M | integration-tests/util.py | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/integration-tests/util.py b/integration-tests/util.py @@ -20,6 +20,7 @@ def checkPort(port): def kill(name, s): print(f"terminating {name} ...") s.terminate() + s.wait(1) print("terminated!")