Debugger/DebugUI.py

changeset 6376
201067699041
parent 6352
4bdc6503df81
child 6416
a915f8dd1ca6
--- a/Debugger/DebugUI.py	Wed Jun 27 18:49:20 2018 +0200
+++ b/Debugger/DebugUI.py	Thu Jun 28 20:17:18 2018 +0200
@@ -2063,10 +2063,12 @@
                     forkChild=forkIntoChild, clientType=self.clientType,
                     enableCallTrace=enableCallTrace)
                 
-                # Signal that we have started a debugging session
-                self.debuggingStarted.emit(fn)
-                
-                self.stopAct.setEnabled(True)
+                if self.debugServer.isClientProcessUp() and \
+                   self.debugServer.getClientType() == self.clientType:
+                    # Signal that we have started a debugging session
+                    self.debuggingStarted.emit(fn)
+                    
+                    self.stopAct.setEnabled(True)
         
         if dlg.clearHistories():
             self.setArgvHistory("", clearHistories=True)

eric ide

mercurial