Debugger/DebugServer.py

changeset 3729
b6eda7d63e4c
parent 3656
441956d8fce5
child 4021
195a471c327b
diff -r 0848df91249f -r b6eda7d63e4c Debugger/DebugServer.py
--- a/Debugger/DebugServer.py	Sun Jul 20 17:26:13 2014 +0200
+++ b/Debugger/DebugServer.py	Thu Jul 24 22:34:05 2014 +0200
@@ -440,6 +440,8 @@
                 elif self.__autoClearShell:
                     self.__autoClearShell = False
                     self.remoteBanner()
+                self.remoteClientVariables(0, [], 0)
+                self.remoteClientVariables(1, [], 0)
             else:
                 if clType and self.lastClientType:
                     self.__setClientType(self.lastClientType)

eric ide

mercurial