DebugClients/Python/DebugClientBase.py

changeset 5957
0c10d2701adb
parent 5658
e5f6fe5855fd
child 5964
066e6c78a367
--- 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

eric ide

mercurial