From 1f16104a45da5b4633e3b0c436e976192abecb0d Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Fri, 21 Feb 2020 15:21:14 +0100
Subject: don't shutdown servers if starting them failed

---
 src/benchmark.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"):
-- 
cgit v1.2.3