diff -r 8d69c9dfb5e2 -r 22633c0739e2 Debugger/DebugServer.py
--- a/Debugger/DebugServer.py Mon Mar 10 19:22:15 2014 +0100
+++ b/Debugger/DebugServer.py Tue Mar 11 18:56:38 2014 +0100
@@ -405,17 +405,16 @@
self.clientProcess.readyReadStandardOutput.connect(
self.__clientProcessOutput)
- if not isNetworked:
- # the client is connected through stdin and stdout
- # Perform actions necessary, if client type has changed
- if self.lastClientType != self.clientType:
- self.lastClientType = self.clientType
- self.remoteBanner()
- elif self.__autoClearShell:
- self.__autoClearShell = False
- self.remoteBanner()
-
- self.debuggerInterface.flush()
+ # Perform actions necessary, if client type has changed
+ if self.lastClientType != self.clientType:
+ self.lastClientType = self.clientType
+ self.remoteBanner()
+ elif self.__autoClearShell:
+ self.__autoClearShell = False
+ self.remoteBanner()
+ else:
+ if clType and self.lastClientType:
+ self.__setClientType(self.lastClientType)
else:
self.__createDebuggerInterface("None")
