Add jupyter server shutdown timeout setting (#15913)

* add jupyter server shutdown timeout setting * no timeout if setting is 0 * set minimum value to 0
2026-02-16 18:46:40 -05:00 · 2021-06-25 18:16:32 -04:00
parent 7c6368b4b6
commit ff1a642157
4 changed files with 19 additions and 7 deletions
--- a/extensions/notebook/package.json
+++ b/extensions/notebook/package.json
@@ -43,6 +43,12 @@
          "default": false,
          "description": "%notebook.dontPromptPythonUpdate.description%"
        },
+        "notebook.jupyterServerShutdownTimeout": {
+          "type": "number",
+          "default": 5,
+          "minimum": 0,
+          "description": "%notebook.jupyterServerShutdownTimeout.description%"
+        },
        "notebook.overrideEditorTheming": {
          "type": "boolean",
          "default": true,