tree 0b2d4732908ee2a8122ce136c437e2779ec0a14e
parent 7dfb02d09a550908b3d70e2d5ab682d09d63c8d1
author Skip Montanaro <skip@pobox.com> 1039056194 +0000
committer Skip Montanaro <skip@pobox.com> 1039056194 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4030014

* when given, port should be converted to int
* when connecting, if the port is non-standard, display it as well