Minor fix

Author: henricasanova

bin/wfbench

@@ -768,10 +768,11 @@ def main():
     except KeyboardInterrupt:
         log_debug("Detected Keyboard interrupt: cleaning up processes...")
         kill_current_handles(current_proc_handles)
-        sys.exit(1)
     finally:
+        log_debug("Aborting: cleaning up processes...")
         kill_current_handles(current_proc_handles)
 
+
     # Cleanups
     if core:
         unlock_core(path_locked, path_cores, core)