plugger.py
changeset 703 2f7b3d1de278
parent 699 6ff64cadb1ff
child 707 6880c88e499e
--- a/plugger.py	Sun Mar 18 19:17:54 2012 +0100
+++ b/plugger.py	Sun Mar 18 23:50:51 2012 +0100
@@ -1781,7 +1781,7 @@
 
     def RemoteExec(self, script, **kwargs):
         if self._connector is None:
-            return -1, "No runtime connected"
+            return -1, "No runtime connected!"
         return self._connector.RemoteExec(script, **kwargs)
 
     def DebugThreadProc(self):
@@ -1823,11 +1823,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"))