Debugger/DebugServer.py

branch
maintenance
changeset 6455
22a6fc33ab6d
parent 6395
613e37fabd96
parent 6431
1842436770c4
child 6518
926d65bd23b8
--- a/Debugger/DebugServer.py	Sat Jul 07 12:01:23 2018 +0200
+++ b/Debugger/DebugServer.py	Wed Aug 01 19:43:34 2018 +0200
@@ -474,6 +474,7 @@
         if not self.passive or not self.passiveClientExited:
             if self.debuggerInterface and self.debuggerInterface.isConnected():
                 self.shutdownServer()
+                self.debugging = False
                 self.clientGone.emit(unplanned and self.debugging)
         
         if clType:
@@ -1489,6 +1490,7 @@
         self.clientExit.emit(int(status), message)
         if Preferences.getDebugger("AutomaticReset") or (self.running and
                                                          not self.debugging):
+            self.debugging = False
             self.startClient(False)
         if self.passive:
             self.__createDebuggerInterface("None")
@@ -1732,3 +1734,21 @@
         @return flag indicating a connection (boolean)
         """
         return self.debuggerInterface and self.debuggerInterface.isConnected()
+    
+    def isDebugging(self):
+        """
+        Public method to test, if the debug server is debugging.
+        
+        @return flag indicating the debugging state
+        @rtype bool
+        """
+        return self.debugging
+    
+    def setDebugging(self, on):
+        """
+        Public method to set the debugging state.
+        
+        @param on flag indicating the new debugging state
+        @type bool
+        """
+        self.debugging = on

eric ide

mercurial