increase jupyter server shutdown timeout (#15899)

This commit is contained in:
Lucy Zhang
2021-06-24 18:13:08 -04:00
committed by GitHub
parent a1652a5ecb
commit 0d2710341a

View File

@@ -64,13 +64,13 @@ export class JupyterNotebookProvider implements nb.NotebookProvider {
manager.sessionManager.shutdown(session.id);
}
if (sessionManager.listRunning().length === 0) {
const FiveMinutesInMs = 5 * 60 * 1000;
const TenMinutesInMs = 10 * 60 * 1000;
setTimeout(() => {
if (sessionManager.listRunning().length === 0) {
this.managerTracker.delete(baseFolder);
manager.dispose();
}
}, FiveMinutesInMs);
}, TenMinutesInMs);
}
}
}