cast port argument as int #19

Author: cs01

CHANGELOG.md

@@ -1,5 +1,10 @@
+## 0.5.0.1
+
+- Do not fail on unicode decode errors
+- Cast port argument as an integer
+
 ## 0.5.0.0
 
-* Update dependencies xtermjs and socketio
-* Turn off flask's logging
-* Update setup.py to install from pinned dependencies in requirements.tx
+- Update dependencies xtermjs and socketio
+- Turn off flask's logging
+- Update setup.py to install from pinned dependencies in requirements.tx

pyxtermjs/app.py

@@ -108,7 +108,9 @@ def main():
         ),
         formatter_class=argparse.ArgumentDefaultsHelpFormatter,
     )
-    parser.add_argument("-p", "--port", default=5000, help="port to run server on")
+    parser.add_argument(
+        "-p", "--port", default=5000, help="port to run server on", type=int
+    )
     parser.add_argument(
         "--host",
         default="127.0.0.1",