update jpserver-extensions trait to work with traitlets 5.x (#610)

jupyter-server · Nov 15, 2021 · 6c8c923 · 6c8c923
1 parent a1b013e
commit 6c8c923
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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(