From fb3ec89ea2c1fdf7cca8a1ce57ebac8226e247f9 Mon Sep 17 00:00:00 2001 From: Zach Sailer Date: Thu, 11 Nov 2021 09:37:07 -0800 Subject: [PATCH] update jpserver-extensions trait to work with traitlets 5.x --- jupyter_server/serverapp.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/jupyter_server/serverapp.py b/jupyter_server/serverapp.py index 54c169eed9..1dd6f9ba0a 100644 --- a/jupyter_server/serverapp.py +++ b/jupyter_server/serverapp.py @@ -1590,7 +1590,8 @@ def _update_server_extensions(self, change): self.server_extensions = change["new"] jpserver_extensions = Dict( - {}, + default_value={}, + value_trait=Bool(), config=True, help=( _i18n(