From 56be2bcb517d3830e8d43265faf511623845b5e2 Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Sun, 10 Mar 2019 23:44:01 +0100
Subject: fix time recording

---
 bench.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bench.py b/bench.py
index 0340a08..6e36d5b 100755
--- a/bench.py
+++ b/bench.py
@@ -110,7 +110,7 @@ def main():
     else:
         starttime = datetime.datetime.now().isoformat()
         # strip seconds from string
-        starttime = start_time[:start_time.rfind(':')]
+        starttime = starttime[:starttime.rfind(':')]
         src.globalvars.facts["starttime"] = starttime
 
     # Create result directory if we save or summarize results
-- 
cgit v1.2.3