We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1d13d72 commit 45b785eCopy full SHA for 45b785e
packages/running-extension/tsconfig.json
@@ -13,13 +13,13 @@
13
"path": "../coreutils"
14
},
15
{
16
- "path": "../running"
+ "path": "../docregistry"
17
18
19
- "path": "../services"
+ "path": "../running"
20
21
22
- "path": "../docregistry"
+ "path": "../services"
23
}
24
]
25
packages/services/src/session/default.ts
@@ -20,6 +20,11 @@ import * as validate from './validate';
*/
const SESSION_SERVICE_URL = 'api/sessions';
+/**
+ * TODO: It appears there is no way to just rename a session without opening a
+ * kernel connection to the session.
26
+ */
27
+
28
/**
29
* Session object for accessing the session REST api. The session
30
* should be used to start kernels and then shut them down -- for
0 commit comments