# HG changeset patch
# User laurent
# Date 1330357903 -3600
# Node ID 9265781619b7fd05a1e03cff013c13d4bea01b27
# Parent  fb55fbee202c2c54a1c227bfb879cb16493910ab
Fix bug in killing debug thread when closing Beremiz window

diff -r fb55fbee202c -r 9265781619b7 plugger.py
--- a/plugger.py	Tue Feb 21 22:36:35 2012 +0100
+++ b/plugger.py	Mon Feb 27 16:51:43 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"))