1
0
mirror of https://github.com/GNS3/gns3-server synced 2024-12-25 16:28:11 +00:00

Ensuring dead_time is an integer

This commit is contained in:
Jerry Seutter 2014-11-24 15:35:09 -07:00
parent cfdff773c4
commit b9a4531544

View File

@ -150,6 +150,7 @@ def parse_cmd_line(argv):
get_gns3secrets(cmd_line_option_list)
cmd_line_option_list["dead_time"] = int(cmd_line_option_list["dead_time"])
for opt, val in opts:
if (opt in ("-h", "--help")):