--- a/eric6/Debugger/DebugServer.py Thu Dec 31 17:42:50 2020 +0100 +++ b/eric6/Debugger/DebugServer.py Fri Jan 01 16:25:30 2021 +0100 @@ -67,6 +67,8 @@ @signal clientSignal(message, filename, linenumber, function name, function arguments, debuggerId) emitted after a signal has been generated on the client side + @signal clientDisconnected(str) emitted after a debug client has + disconnected (i.e. closed the network socket) @signal clientExit(str, int, str, bool, str) emitted after the client has exited giving the program name, the exit status, an exit message, an indication to be quiet and the ID of the exited client @@ -140,6 +142,7 @@ clientException = pyqtSignal(str, str, list, str) clientSyntaxError = pyqtSignal(str, str, int, int, str) clientSignal = pyqtSignal(str, str, int, str, str, str) + clientDisconnected = pyqtSignal(str) clientExit = pyqtSignal(str, int, str, bool, str) lastClientExited = pyqtSignal() clientBreakConditionError = pyqtSignal(str, int, str) @@ -1810,6 +1813,16 @@ self.clientSignal.emit(message, filename, lineNo, funcName, funcArgs, debuggerId) + def signalClientDisconnected(self, debuggerId): + """ + Public method to send a signal when a debug client has closed its + connection. + + @param debuggerId ID of the debugger backend + @type str + """ + self.clientDisconnected.emit(debuggerId) + def signalClientExit(self, program, status, message, debuggerId): """ Public method to process the client exit status.