Debugger/DebugServer.py

changeset 893
5907b8d05b46
parent 892
754efacb0fbb
child 945
8cd4d08fa9f6
child 986
12880ccc4d15
equal deleted inserted replaced
892:754efacb0fbb 893:5907b8d05b46
306 @keyparam clType type of client to be started (string) 306 @keyparam clType type of client to be started (string)
307 @keyparam forProject flag indicating a project related action (boolean) 307 @keyparam forProject flag indicating a project related action (boolean)
308 @keyparam runInConsole flag indicating to start the debugger in a 308 @keyparam runInConsole flag indicating to start the debugger in a
309 console window (boolean) 309 console window (boolean)
310 """ 310 """
311 self.running = False
312
311 if not self.passive or not self.passiveClientExited: 313 if not self.passive or not self.passiveClientExited:
312 if self.debuggerInterface and self.debuggerInterface.isConnected(): 314 if self.debuggerInterface and self.debuggerInterface.isConnected():
313 self.shutdownServer() 315 self.shutdownServer()
314 self.clientGone.emit(unplanned and self.debugging) 316 self.clientGone.emit(unplanned and self.debugging)
315 317

eric ide

mercurial