--- a/Debugger/DebugServer.py Tue Apr 12 18:59:51 2016 +0200 +++ b/Debugger/DebugServer.py Sun Apr 17 21:26:28 2016 +0200 @@ -1295,7 +1295,8 @@ if self.passive: self.__passiveShutDown() self.clientExit.emit(int(status)) - if Preferences.getDebugger("AutomaticReset"): + if Preferences.getDebugger("AutomaticReset") or (self.running and + not self.debugging): self.startClient(False) if self.passive: self.__createDebuggerInterface("None")