cast port argument as int #19

cs01 · Oct 4, 2022 · ec8d143 · ec8d143
1 parent 45436e9
commit ec8d143
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 4 deletions.
diff --git a/CHANGELOG.md b/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
diff --git a/pyxtermjs/app.py b/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",