From 660203f5986743d0c37aebacbe0830c69f7d1c85 Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Sat, 6 Jun 2020 12:34:26 -0600
Subject: [PATCH] Write websocket data to terminal

---
 frontend/src/app.ts | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/frontend/src/app.ts b/frontend/src/app.ts
index 6069d5b..33898ef 100644
--- a/frontend/src/app.ts
+++ b/frontend/src/app.ts
@@ -32,11 +32,15 @@ socket.addEventListener("message", (event) => {
   }
   switch (message?.event) {
     case "terminalOutput":
-      console.log(message.output);
-      break;
+      if (typeof message.output !== "string") {
+        console.error("Unexpected message from server:", message);
+        return;
+      }
+      term.write(message.output);
+      return;
     default:
       console.error("Unexpected message from server:", message);
-      break;
+      return;
   }
 });
 socket.addEventListener("close", (event) => {