eric6/Debugger/DebugServer.py

changeset 7932
c4c6b2784eec
parent 7923
91e843545d9a
child 7986
2971d5d19951
--- 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.

eric ide

mercurial