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 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"): |