webssh

commit 7b8f473ba60b3330c95ac22bfc214a0016e0fa07
parent d54f5b547a55aa6722e8f951b3f551dca5fa2b27
Author: Sheng <webmaster0115@gmail.com>
Date:   Wed,  7 Oct 2020 20:36:43 +0800

Changed the type of two options into float

Diffstat:
M
webssh/settings.py
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/webssh/settings.py b/webssh/settings.py
@@ -42,8 +42,8 @@ define('origin', default='same', help='''Origin policy,
 '<domains>': custom domains policy, matches any domain in the <domains> 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')