ARM uncaught exception if ORPort contains an IP address
If I set ORPort not to just a portnumber (like 443) but to IP:port, arm outputs a python stacktrace like this:
Exception in thread Thread-5:
Traceback (most recent call last):
File "/usr/lib/python2.7/threading.py", line 552, in __bootstrap_inner
self.run()
File "/usr/share/arm/cli/connections/connPanel.py", line 282, in run
self._update() # populates initial entries
File "/usr/share/arm/cli/connections/connPanel.py", line 486, in _update
newEntries.append(circEntry.CircEntry(circuitID, status, purpose, path))
File "/usr/share/arm/cli/connections/circEntry.py", line 34, in __init__
self.update(status, path)
File "/usr/share/arm/cli/connections/circEntry.py", line 53, in update
self.lines[0].setExit(exitIp, exitORPort, path[-1])
File "/usr/share/arm/cli/connections/circEntry.py", line 84, in setExit
connEntry.ConnectionLine.__init__(self, "127.0.0.1", "0", exitIpAddr, exitPort, False, False)
File "/usr/share/arm/cli/connections/connEntry.py", line 254, in __init__
self.sortPort = int(self.foreign.getPort())
ValueError: invalid literal for int() with base 10: '256.256.256.256:443'
(replace 256.256.256.256 with an actual IP address)