--- a/Debugger/DebugServer.py Sat Sep 03 18:42:02 2016 +0200 +++ b/Debugger/DebugServer.py Sat Sep 03 19:00:12 2016 +0200 @@ -133,7 +133,7 @@ clientException = pyqtSignal(str, str, list) clientSyntaxError = pyqtSignal(str, str, int, int) clientSignal = pyqtSignal(str, str, int, str, str) - clientExit = pyqtSignal(int) + clientExit = pyqtSignal(int, str) clientBreakConditionError = pyqtSignal(str, int) clientWatchConditionError = pyqtSignal(str) clientRawInput = pyqtSignal(str, bool) @@ -1312,15 +1312,18 @@ self.clientSignal.emit(message, filename, lineNo, funcName, funcArgs) - def signalClientExit(self, status): + def signalClientExit(self, status, message=""): """ Public method to process the client exit status. - @param status exit code as a string (string) + @param status exit code + @type int + @param message message sent with the exit + @type str """ if self.passive: self.__passiveShutDown() - self.clientExit.emit(int(status)) + self.clientExit.emit(int(status), message) if Preferences.getDebugger("AutomaticReset") or (self.running and not self.debugging): self.startClient(False)