From c76d9ebd8840d69eb5d03ca0f42e837b39fb7130 Mon Sep 17 00:00:00 2001 From: liuzheng712 Date: Tue, 5 Apr 2016 12:56:37 +0800 Subject: [PATCH] bugfix --- run_server.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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