From 09ff20e819ad866c9929d5807a6bb3647ec7e7b8 Mon Sep 17 00:00:00 2001 From: Min RK Date: Tue, 30 Jul 2024 11:36:29 +0200 Subject: [PATCH] don't let ExtensionApp jpserver_extensions be overridden by config ensures jpserver_extensions set in make_serverapp is preserved after loading config files in ServerApp.initialize --- jupyter_server/serverapp.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/jupyter_server/serverapp.py b/jupyter_server/serverapp.py index 3dedd5634f..bf375cbef6 100644 --- a/jupyter_server/serverapp.py +++ b/jupyter_server/serverapp.py @@ -2724,7 +2724,11 @@ def initialize( self._init_asyncio_patch() # Parse command line, load ServerApp config files, # and update ServerApp config. + # preserve jpserver_extensions, which may have been set by starter_extension + # don't let config clobber this value + jpserver_extensions = self.jpserver_extensions.copy() super().initialize(argv=argv) + self.jpserver_extensions.update(jpserver_extensions) if self._dispatching: return # initialize io loop as early as possible,