[server] more logging to track reconnection cause

gitpod-io · Jun 14, 2021 · c0f308c · c0f308c
1 parent 3363f3b
commit c0f308c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/vs/gitpod/node/server.ts b/src/vs/gitpod/node/server.ts
@@ -883,7 +883,7 @@ async function main(): Promise<void> {
 								dispose();
 							}, ProtocolConstants.ReconnectionGraceTime);
 							const shortGraceTimeReconnection = new RunOnceScheduler(() => {
-								logService.info(`[${token}] Management connection expired after ${ProtocolConstants.ReconnectionGraceTime}ms (short grace).`);
+								logService.info(`[${token}] Management connection expired after ${ProtocolConstants.ReconnectionShortGraceTime}ms (short grace).`);
 								dispose();
 							}, ProtocolConstants.ReconnectionShortGraceTime);
 							client.management = { protocol, graceTimeReconnection, shortGraceTimeReconnection };
@@ -981,6 +981,7 @@ async function main(): Promise<void> {
 									socket.end();
 									extensionHost.kill();
 									client.extensionHost = undefined;
+									logService.info(`[${token}] Extension host is disconnected.`);
 								}
 
 								extensionHost.on('error', err => {