Add store ID to page config (#74)

jupyterlab · Aug 14, 2019 · 830c166 · 830c166
1 parent f647717
commit 830c166
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/jupyterlab_server/handlers.py b/jupyterlab_server/handlers.py
@@ -59,6 +59,7 @@ def initialize(self, lab_config):
     @web.authenticated
     @web.removeslash
     def get(self):
+        self.application.store_id = getattr(self.application, 'store_id', 0)
         config = self.lab_config
         settings_dir = config.app_settings_dir
 
@@ -72,6 +73,8 @@ def get(self):
         page_config.setdefault('terminalsAvailable', terminals)
         page_config.setdefault('ignorePlugins', [])
         page_config.setdefault('serverRoot', server_root)
+        page_config['store_id'] = self.application.store_id
+        self.application.store_id += 1
 
         mathjax_config = self.settings.get('mathjax_config',
                                            'TeX-AMS_HTML-full,Safe')