diff -r 5ba44a2de31a -r fd51fbdfdd69 DebugClients/Python3/DebugClientBase.py
--- a/DebugClients/Python3/DebugClientBase.py Sat May 30 13:27:43 2015 +0200
+++ b/DebugClients/Python3/DebugClientBase.py Sat May 30 20:16:47 2015 +0200
@@ -1142,6 +1142,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)
