diff --git a/run_server.py b/run_server.py index 48b6be17e..246ecc560 100755 --- a/run_server.py +++ b/run_server.py @@ -366,8 +366,8 @@ class WebTerminalHandler(tornado.websocket.WebSocketHandler): if 'resize' in jsondata.get('data'): self.termlog.write(message) self.channel.resize_pty( - width=jsondata.get('data').get('resize').get('cols', 80), - height=jsondata.get('data').get('resize').get('rows', 24) + width=int(jsondata.get('data').get('resize').get('cols', 80)), + height=int(jsondata.get('data').get('resize').get('rows', 24)) ) elif jsondata.get('data'): self.termlog.recoder = True