* when given, port should be converted to int

* when connecting, if the port is non-standard, display it as well

diff --git a/Tools/scripts/ftpmirror.py b/Tools/scripts/ftpmirror.py
index 0886af62a81fa38b531f5e9f54daed6a05f314d8..2e3b215835c6cad1b6feb0d6c437975a97df3cb5 100755 (executable)
--- a/Tools/scripts/ftpmirror.py
+++ b/Tools/scripts/ftpmirror.py
@@ -55,6 +55,7 @@ def main():
     port = 0
     if ':' in host:
         host, port = host.split(':', 1)
+        port = int(port)
     try:
         auth = netrc.netrc().authenticators(host)
         if auth is not None:
@@ -81,7 +82,8 @@ def main():
             if args[3:]: usage('too many arguments')
     #
     f = ftplib.FTP()
-    if verbose: print 'Connecting to %s...' % `host`
+    if verbose: print "Connecting to '%s%s'..." % (host,
+                                                   (port and ":%d"%port or ""))
     f.connect(host,port)
     if not nologin:
         if verbose: