From b9a4531544ce40127584b1d2be23d984cdad32ea Mon Sep 17 00:00:00 2001 From: Jerry Seutter Date: Mon, 24 Nov 2014 15:35:09 -0700 Subject: [PATCH] Ensuring dead_time is an integer --- gns3dms/main.py | 1 + 1 file changed, 1 insertion(+) diff --git a/gns3dms/main.py b/gns3dms/main.py index 40eb5f95..6cdad64e 100644 --- a/gns3dms/main.py +++ b/gns3dms/main.py @@ -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")):