From c050ca2d8ad41bd7cd5f7e89519b93f3ff6fee39 Mon Sep 17 00:00:00 2001
From: Koushik Dutta <koushd@gmail.com>
Date: Mon, 30 Aug 2021 21:53:43 -0700
Subject: [PATCH] remove more repl junk

---
 server/src/plugin/plugin-host.ts | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/server/src/plugin/plugin-host.ts b/server/src/plugin/plugin-host.ts
index 9f7961343..55e4b4113 100644
--- a/server/src/plugin/plugin-host.ts
+++ b/server/src/plugin/plugin-host.ts
@@ -380,6 +380,8 @@ async function createREPLServer(events: EventEmitter): Promise<number> {
         });
         delete ctx.console;
         delete ctx.window;
+        delete ctx.WebSocket;
+        delete ctx.pluginHostAPI;
 
         const replVariables = Object.keys(ctx).filter(key => key !== 'require');