From 5a1c71c1d5637d87d8babb45e66c1c3d4b0d7dd5 Mon Sep 17 00:00:00 2001 From: Zane Hitchcox Date: Mon, 1 Oct 2018 10:16:59 -0400 Subject: [PATCH] Don't delete fake terminal --- demo/client.ts | 1 - 1 file changed, 1 deletion(-) diff --git a/demo/client.ts b/demo/client.ts index 91cebf07cd..4de78999ea 100644 --- a/demo/client.ts +++ b/demo/client.ts @@ -149,7 +149,6 @@ function runRealTerminal(): void { term._initialized = true; } -// TODO: Maybe fake terminal should be removed? Not sure it's useful anymore function runFakeTerminal(): void { if (term._initialized) { return;