MirrorMirror
/
riju
mirror of https://github.com/radian-software/riju.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add \x04

This commit is contained in:
plondon 2021-10-23 12:31:36 -04:00
parent 584c706951
commit 1ec7c7c424
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
backend/api.js
View File

@ -233,7 +233,7 @@ export class Session {
this.logBadMessage(msg); this.logBadMessage(msg);
break; break;
} }
await this.runCode(msg.code, msg.expectedOutput); await this.runCode(msg.code + "\x04", msg.expectedOutput);
break; break;
case "formatCode": case "formatCode":
if (typeof msg.code !== "string") { if (typeof msg.code !== "string") {
@ -291,7 +291,7 @@ export class Session {
this.config; this.config;
if (this.term) { if (this.term) {
try { try {
process.kill(this.term.pty.pid); process.kill(this.term.pty.pid, 'SIGKILL');
} catch (err) { } catch (err) {
this.send({ this.send({
event: 'error doing process.kill', event: 'error doing process.kill',