Debugger/DebugServer.py

branch
6_1_x
changeset 4946
c7b333448ad5
parent 4632
ca310db386ed
--- 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")

eric ide

mercurial