equal
deleted
inserted
replaced
1813 self.debug_break = True |
1813 self.debug_break = True |
1814 self.logger.write(_("Debugger disabled\n")) |
1814 self.logger.write(_("Debugger disabled\n")) |
1815 self.DebugThread = None |
1815 self.DebugThread = None |
1816 |
1816 |
1817 def KillDebugThread(self): |
1817 def KillDebugThread(self): |
|
1818 tmp_debugthread = self.DebugThread |
1818 self.debug_break = True |
1819 self.debug_break = True |
1819 if self.DebugThread is not None: |
1820 if tmp_debugthread is not None: |
1820 self.logger.writeyield(_("Stopping debugger...\n")) |
1821 self.logger.writeyield(_("Stopping debugger...\n")) |
1821 self.DebugThread.join(timeout=5) |
1822 tmp_debugthread.join(timeout=5) |
1822 if self.DebugThread.isAlive() and self.logger: |
1823 if tmp_debugthread.isAlive() and self.logger: |
1823 self.logger.write_warning(_("Couldn't stop debugger.\n")) |
1824 self.logger.write_warning(_("Couldn't stop debugger.\n")) |
1824 else: |
1825 else: |
1825 self.logger.write(_("Debugger stopped.\n")) |
1826 self.logger.write(_("Debugger stopped.\n")) |
1826 self.DebugThread = None |
1827 self.DebugThread = None |
1827 |
1828 |