Don't wait for the server to die infinitely

MaddyGuthridge · Jun 2, 2023 · 6f67096 · 6f67096
1 parent ac79550
commit 6f67096
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/runner.py b/runner.py
@@ -229,7 +229,8 @@ def main():
                     timeout = True
         duration = perf_counter() - start_time
         server_proc.interrupt()
-        server_proc.wait()
+        server_proc.wait(1)
+        server_proc.kill()
         if timeout:
             print_output(
                 server,