serverManager to decide if server start needed (#8017)

2026-02-07 01:25:38 -05:00 · 2019-10-25 11:11:54 -07:00
parent 5b29aef5f3
commit 3b1c9e910d
2 changed files with 2 additions and 1 deletions
--- a/extensions/notebook/src/jupyter/jupyterServerManager.ts
+++ b/extensions/notebook/src/jupyter/jupyterServerManager.ts
@@ -84,6 +84,7 @@ export class LocalJupyterServerManager implements nb.ServerManager, vscode.Dispo
 	public async stopServer(): Promise<void> {
 		if (this._jupyterServer) {
 			await this._jupyterServer.stop();
+			this._jupyterServer = undefined;
 		}
 	}