diff options
| author | Florian Fischer <florian.fl.fischer@fau.de> | 2019-08-24 17:53:26 +0200 |
|---|---|---|
| committer | Florian Fischer <florian.fl.fischer@fau.de> | 2019-08-24 17:53:26 +0200 |
| commit | 58c59ddc21357c9d9f2cefef2332b770568d1b78 (patch) | |
| tree | d452099fc55c506ac157acd11cb73969f1ed0538 | |
| parent | 77fba735aeecf69997034bfb33611489b85ba3b4 (diff) | |
| download | allocbench-58c59ddc21357c9d9f2cefef2332b770568d1b78.tar.gz allocbench-58c59ddc21357c9d9f2cefef2332b770568d1b78.zip | |
only call shutdown_servers if there are servers
| -rw-r--r-- | src/benchmark.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/benchmark.py b/src/benchmark.py index 1805922..dddee69 100644 --- a/src/benchmark.py +++ b/src/benchmark.py @@ -410,7 +410,8 @@ class Benchmark (object): if os.getcwd() != cwd: os.chdir(cwd) - self.shutdown_servers() + if self.server_cmds != []: + self.shutdown_servers() if hasattr(self, "postallocator_hook"): self.postallocator_hook((alloc_name, alloc), run, |