]> arthur.barton.de Git - bup.git/search
If you specified the port number on the command line, convert it to an int.