diff options
| author | Florian Fischer <florian.fl.fischer@fau.de> | 2019-10-13 23:08:59 +0200 |
|---|---|---|
| committer | Florian Fischer <florian.fl.fischer@fau.de> | 2019-10-13 23:08:59 +0200 |
| commit | 5c4edad3455bf2a77382a17a8acbeda075e129c0 (patch) | |
| tree | 29e0f0f6edf5209d6fb4a115b6a50653438fad12 | |
| parent | 95265828f3ea780d9b0414fce07162bb8f6ca0de (diff) | |
| download | allocbench-5c4edad3455bf2a77382a17a8acbeda075e129c0.tar.gz allocbench-5c4edad3455bf2a77382a17a8acbeda075e129c0.zip | |
don't try to terminate servers that exited with 0
| -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") |