diff options
| -rw-r--r-- | src/benchmark.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/benchmark.py b/src/benchmark.py index 5530750..69a8d37 100644 --- a/src/benchmark.py +++ b/src/benchmark.py @@ -282,7 +282,7 @@ class Benchmark: def shutdown_server(self, server): """Terminate a started server running its shutdown_cmds in advance""" - if server["popen"].poll(): + if server["popen"].poll() != None: return server_name = server.get("name", "Server") |