Send back workspace ID and name in terminal list

This makes it re-connect automatically.
This commit is contained in:
Asher 2020-11-19 11:11:46 -06:00
parent 182aca6490
commit 1feb30a7ff
No known key found for this signature in database
GPG Key ID: D63C1EF81242354A
1 changed files with 3 additions and 3 deletions

View File

@ -1466,7 +1466,7 @@ index 0000000000000000000000000000000000000000..6ce56bec114a6d8daf5dd3ded945ea78
+}
diff --git a/src/vs/server/node/channel.ts b/src/vs/server/node/channel.ts
new file mode 100644
index 0000000000000000000000000000000000000000..b65bf283739a2b05c82fe38a038d2a10957c0d40
index 0000000000000000000000000000000000000000..40779e80aa56d6b802d39f7170c9c94a997393ef
--- /dev/null
+++ b/src/vs/server/node/channel.ts
@@ -0,0 +1,848 @@
@ -2312,8 +2312,8 @@ index 0000000000000000000000000000000000000000..b65bf283739a2b05c82fe38a038d2a10
+ pid: terminal.pid,
+ title: terminal.title,
+ cwd,
+ workspaceId: "0",
+ workspaceName: "test",
+ workspaceId: terminal.workspaceId,
+ workspaceName: terminal.workspaceName,
+ };
+ }));
+ }