handle non-int port arguments gracefully

pull/306/head
Jon Renner 2013-12-03 10:27:20 +08:00
parent c07a021ed0
commit 503147f17e
1 changed files with 5 additions and 0 deletions

View File

@ -4473,6 +4473,11 @@ def main():
sys.exit(2)
server_ip = arg
elif opt in ("-p", "--port"):
try:
port_number = int(arg)
except:
print("invalid port number argument: %s" % arg)
sys.exit(2)
server_port = arg
elif opt in ("-o", "--output"):
if arg.lower() == "html":