Fixes #1313: Capture the exit code of a server process and print it t…

…o the log. (#1315)
microsoft · Sep 13, 2023 · c6817d3 · c6817d3
1 parent c880c61
commit c6817d3
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/client/src/node/main.ts b/client/src/node/main.ts
@@ -502,6 +502,17 @@ export class LanguageClient extends BaseLanguageClient {
 				}
 			}
 			return Promise.reject<MessageTransports>(new Error(`Unsupported server configuration ` + JSON.stringify(server, null, 4)));
+		}).finally(() => {
+			if (this._serverProcess !== undefined) {
+				this._serverProcess.on('exit', (code, signal) => {
+					if (code !== null) {
+						this.error(`Server process exited with code ${code}.`, undefined, false);
+					}
+					if (signal !== null) {
+						this.error(`Server process exited with signal ${signal}.`, undefined, false);
+					}
+				});
+			}
 		});
 	}