From 58c59ddc21357c9d9f2cefef2332b770568d1b78 Mon Sep 17 00:00:00 2001 From: Florian Fischer Date: Sat, 24 Aug 2019 17:53:26 +0200 Subject: only call shutdown_servers if there are servers --- src/benchmark.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src') 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, -- cgit v1.2.3