Debugger/DebugUI.py

branch
jsonrpc
changeset 5140
01484c0afbc6
parent 5136
b1dde2dc14bd
child 5141
bc64243b7672
equal deleted inserted replaced
5137:089401c122c5 5140:01484c0afbc6
981 981
982 def __clientExit(self, status, message): 982 def __clientExit(self, status, message):
983 """ 983 """
984 Private method to handle the debugged program terminating. 984 Private method to handle the debugged program terminating.
985 985
986 @param status exit code of the debugged program (int) 986 @param status exit code of the debugged program
987 @type int
988 @param message exit message of the debugged program
989 @type str
987 """ 990 """
988 self.viewmanager.exit() 991 self.viewmanager.exit()
989 992
990 self.__resetUI() 993 self.__resetUI()
991 994

eric ide

mercurial