From ec8d1432c361aa0132d60fbd472ad33004bb310c Mon Sep 17 00:00:00 2001 From: Chad Smith Date: Mon, 3 Oct 2022 21:52:31 -0700 Subject: [PATCH] cast port argument as int #19 --- CHANGELOG.md | 11 ++++++++--- pyxtermjs/app.py | 4 +++- 2 files changed, 11 insertions(+), 4 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 673dced..b4c27bf 100644 --- 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 \ No newline at end of file +- 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 index c81df05..479cbb5 100644 --- 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",