--- 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