diff options
Diffstat (limited to 'src')
| -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, |