diff options
| author | Florian Fischer <florian.fl.fischer@fau.de> | 2020-02-21 15:21:14 +0100 |
|---|---|---|
| committer | Florian Fischer <florian.fl.fischer@fau.de> | 2020-02-21 15:21:14 +0100 |
| commit | 1f16104a45da5b4633e3b0c436e976192abecb0d (patch) | |
| tree | fe23d12b4cec55b4d4ff789aa02a6ec396165890 | |
| parent | 01866cdfbcbe9dcb7e3eb71ab1bf88a9ad4b7dfd (diff) | |
| download | allocbench-1f16104a45da5b4633e3b0c436e976192abecb0d.tar.gz allocbench-1f16104a45da5b4633e3b0c436e976192abecb0d.zip | |
don't shutdown servers if starting them failed
| -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 479b2d6..0b68b32 100644 --- a/src/benchmark.py +++ b/src/benchmark.py @@ -537,7 +537,7 @@ class Benchmark: if os.getcwd() != cwd: os.chdir(cwd) - if self.servers != []: + if self.servers != [] and not skip: self.shutdown_servers() if hasattr(self, "postallocator_hook"): |