--- a/DebugClients/Python/DebugClientBase.py	Sat May 30 13:27:43 2015 +0200
+++ b/DebugClients/Python/DebugClientBase.py	Sat May 30 20:16:47 2015 +0200
@@ -1131,6 +1131,8 @@
         """
         if remoteAddress is None:
             remoteAddress = "127.0.0.1"
+        elif "@@i" in remoteAddress:
+            remoteAddress = remoteAddress.split("@@i")[0]
         sock = socket.create_connection((remoteAddress, port))
 
         self.readstream = AsyncFile(sock, sys.stdin.mode, sys.stdin.name)