--- a/DebugClients/Python/DebugClientBase.py Fri Nov 03 16:14:08 2017 +0100 +++ b/DebugClients/Python/DebugClientBase.py Fri Nov 03 17:10:01 2017 +0100 @@ -2034,16 +2034,25 @@ if sys.argv[1] == '--no-encoding': self.noencoding = True del sys.argv[1] + if sys.argv[1] == '': del sys.argv[1] + try: port = int(sys.argv[1]) except (ValueError, IndexError): port = -1 - try: - redirect = int(sys.argv[2]) - except (ValueError, IndexError): + + if sys.argv[2] == "True": redirect = True + elif sys.argv[2] == "False": + redirect = False + else: + try: + redirect = int(sys.argv[2]) + except (ValueError, IndexError): + redirect = True + try: ipOrHost = sys.argv[3] if ':' in ipOrHost: @@ -2054,9 +2063,11 @@ remoteAddress = self.__resolveHost(ipOrHost) except Exception: remoteAddress = None + sys.argv = [''] if '' not in sys.path: sys.path.insert(0, '') + if port >= 0: if not self.noencoding: self.__coding = self.defaultCoding