From 7b8f473ba60b3330c95ac22bfc214a0016e0fa07 Mon Sep 17 00:00:00 2001 From: Sheng Date: Wed, 7 Oct 2020 20:36:43 +0800 Subject: [PATCH] Changed the type of two options into float --- webssh/settings.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/webssh/settings.py b/webssh/settings.py index 5ae4a80..c9dbbbe 100644 --- a/webssh/settings.py +++ b/webssh/settings.py @@ -42,8 +42,8 @@ define('origin', default='same', help='''Origin policy, '': custom domains policy, matches any domain in the list separated by comma; '*': wildcard policy, matches any domain, allowed in debug mode only.''') -define('wpintvl', type=int, default=0, help='Websocket ping interval') -define('timeout', type=int, default=3, help='SSH connection timeout') +define('wpintvl', type=float, default=0, help='Websocket ping interval') +define('timeout', type=float, default=3, help='SSH connection timeout') define('delay', type=float, default=3, help='The delay to call recycle_worker') define('maxconn', type=int, default=20, help='Maximum live connections (ssh sessions) per client')