From ae2c5b6e25eed5d702b3840e77e2b004323abebd Mon Sep 17 00:00:00 2001
From: Nathan Shively-Sanders <293473+sandersn@users.noreply.github.com>
Date: Wed, 5 Oct 2022 11:10:12 -0700
Subject: [PATCH] Turn off web server

Used for prototyping with a vscode that uses a different web host than
the built-in one.
---
 src/tsserver/server.ts    | 13 +++++++------
 src/tsserver/webServer.ts |  2 ++
 2 files changed, 9 insertions(+), 6 deletions(-)

diff --git a/src/tsserver/server.ts b/src/tsserver/server.ts
index 4d9cbeb441c..10269b89136 100644
--- a/src/tsserver/server.ts
+++ b/src/tsserver/server.ts
@@ -80,12 +80,13 @@ namespace ts.server {
         start(initializeNodeSystem(), require("os").platform());
     }
     else {
+        console.log("NOT starting original server")
         // Get args from first message
-        const listener = (e: any) => {
-            removeEventListener("message", listener);
-            const args = e.data;
-            start(initializeWebSystem(args), "web");
-        };
-        addEventListener("message", listener);
+        // const listener = (e: any) => {
+        //     removeEventListener("message", listener);
+        //     const args = e.data;
+        //     start(initializeWebSystem(args), "web");
+        // };
+        // addEventListener("message", listener);
     }
 }
diff --git a/src/tsserver/webServer.ts b/src/tsserver/webServer.ts
index 71beb5a8db9..f1f3d3e915f 100644
--- a/src/tsserver/webServer.ts
+++ b/src/tsserver/webServer.ts
@@ -125,6 +125,8 @@ namespace ts.server {
             }
 
             listen() {
+                this.logger.info("Starting ORIGINAL web session (this should be turned off)")
+                console.log("Starting ORIGINAL web session (this should be turned off)")
                 addEventListener("message", (message: any) => {
                     this.onMessage(message.data);
                 });