From cd102428caf6d75d71dbf8e12e7ce750baec250c Mon Sep 17 00:00:00 2001 From: sd Date: Tue, 5 Jan 2021 13:40:02 +0200 Subject: [PATCH] traitlets Int for gateway_retry_max parameter --- notebook/gateway/managers.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/notebook/gateway/managers.py b/notebook/gateway/managers.py index 61c21fc2e..125ee9ba3 100644 --- a/notebook/gateway/managers.py +++ b/notebook/gateway/managers.py @@ -15,7 +15,7 @@ from ..services.sessions.sessionmanager import SessionManager from jupyter_client.kernelspec import KernelSpecManager from ..utils import url_path_join -from traitlets import Instance, Unicode, Float, Bool, default, validate, TraitError +from traitlets import Instance, Unicode, Int, Float, Bool, default, validate, TraitError from traitlets.config import SingletonConfigurable @@ -244,7 +244,7 @@ class GatewayClient(SingletonConfigurable): gateway_retry_max_default_value = 5 gateway_retry_max_env = 'JUPYTER_GATEWAY_RETRY_MAX' - gateway_retry_max = Float(default_value=gateway_retry_max_default_value, config=True, + gateway_retry_max = Int(default_value=gateway_retry_max_default_value, config=True, help="""The maximum numbers allowed for HTTP reconnection retries with the Gateway server. (JUPYTER_GATEWAY_RETRY_MAX env var)""")