Debugger/DebugServer.py

changeset 4943
e093b4e24e97
parent 4631
5c1a96925da4
child 5124
1ba8ee313b57
equal deleted inserted replaced
4942:d6d362104f83 4943:e093b4e24e97
1337 @param status exit code as a string (string) 1337 @param status exit code as a string (string)
1338 """ 1338 """
1339 if self.passive: 1339 if self.passive:
1340 self.__passiveShutDown() 1340 self.__passiveShutDown()
1341 self.clientExit.emit(int(status)) 1341 self.clientExit.emit(int(status))
1342 if Preferences.getDebugger("AutomaticReset"): 1342 if Preferences.getDebugger("AutomaticReset") or (self.running and
1343 not self.debugging):
1343 self.startClient(False) 1344 self.startClient(False)
1344 if self.passive: 1345 if self.passive:
1345 self.__createDebuggerInterface("None") 1346 self.__createDebuggerInterface("None")
1346 self.signalClientOutput(self.tr('\nNot connected\n')) 1347 self.signalClientOutput(self.tr('\nNot connected\n'))
1347 self.signalClientStatement(False) 1348 self.signalClientStatement(False)

eric ide

mercurial