From 70dd05e5a60b3917c67e2cc4402f4beb59535b8a Mon Sep 17 00:00:00 2001
From: Tim Abbott <tabbott@zulipchat.com>
Date: Tue, 15 May 2018 12:31:09 -0700
Subject: [PATCH] zulip_botserver: Enforce that port argument is an int.

---
 zulip_botserver/zulip_botserver/server.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/zulip_botserver/zulip_botserver/server.py b/zulip_botserver/zulip_botserver/server.py
index dc96832..6976cbd 100644
--- a/zulip_botserver/zulip_botserver/server.py
+++ b/zulip_botserver/zulip_botserver/server.py
@@ -129,6 +129,7 @@ def parse_args() -> argparse.Namespace:
     parser.add_argument('--port',
                         action='store',
                         default=5002,
+                        type=int,
                         help='Port on which you want to run the server')
     return parser.parse_args()