From 1ec7c7c4248d61178e35e6305609cef04f6c116b Mon Sep 17 00:00:00 2001
From: plondon <philip.n.london@gmail.com>
Date: Sat, 23 Oct 2021 12:31:36 -0400
Subject: [PATCH] Add \x04

---
 backend/api.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/backend/api.js b/backend/api.js
index addb842..8e565eb 100644
--- a/backend/api.js
+++ b/backend/api.js
@@ -233,7 +233,7 @@ export class Session {
             this.logBadMessage(msg);
             break;
           }
-          await this.runCode(msg.code, msg.expectedOutput);
+          await this.runCode(msg.code + "\x04", msg.expectedOutput);
           break;
         case "formatCode":
           if (typeof msg.code !== "string") {
@@ -291,7 +291,7 @@ export class Session {
         this.config;
       if (this.term) {
         try {
-          process.kill(this.term.pty.pid);
+          process.kill(this.term.pty.pid, 'SIGKILL');
         } catch (err) {
           this.send({
             event: 'error doing process.kill',