From 1feb30a7ff18149f94ad171f42edc82a8844cfef Mon Sep 17 00:00:00 2001
From: Asher <ash@coder.com>
Date: Thu, 19 Nov 2020 11:11:46 -0600
Subject: [PATCH] Send back workspace ID and name in terminal list

This makes it re-connect automatically.
---
 ci/dev/vscode.patch | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ci/dev/vscode.patch b/ci/dev/vscode.patch
index 7bf38f34..00c05d9d 100644
--- a/ci/dev/vscode.patch
+++ b/ci/dev/vscode.patch
@@ -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,
 +			};
 +		}));
 +	}