--- a/plugger.py Thu Feb 23 17:45:11 2012 +0100
+++ b/plugger.py Tue Mar 06 22:42:56 2012 +0100
@@ -1815,11 +1815,12 @@
self.DebugThread = None
def KillDebugThread(self):
+ tmp_debugthread = self.DebugThread
self.debug_break = True
- if self.DebugThread is not None:
+ if tmp_debugthread is not None:
self.logger.writeyield(_("Stopping debugger...\n"))
- self.DebugThread.join(timeout=5)
- if self.DebugThread.isAlive() and self.logger:
+ tmp_debugthread.join(timeout=5)
+ if tmp_debugthread.isAlive() and self.logger:
self.logger.write_warning(_("Couldn't stop debugger.\n"))
else:
self.logger.write(_("Debugger stopped.\n"))