From cc82f605fe073fa9f7b0924e4fddeb37a16bd795 Mon Sep 17 00:00:00 2001 From: Simon Lamon Date: Sat, 15 Oct 2022 10:47:59 +0000 Subject: [PATCH] delete clean up --- demo/server.js | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/demo/server.js b/demo/server.js index 856dac9e..03689f20 100644 --- a/demo/server.js +++ b/demo/server.js @@ -17,8 +17,8 @@ function startServer() { expressWs(app); var terminals = {}, - unsentOutput = {}, - temporaryDisposable = {}; + unsentOutput = {}, + temporaryDisposable = {}; app.use('/xterm.css', express.static(__dirname + '/../css/xterm.css')); app.get('/logo.png', (req, res) => { @@ -81,7 +81,7 @@ function startServer() { temporaryDisposable[term.pid].dispose(); delete temporaryDisposable[term.pid]; ws.send(unsentOutput[term.pid]); - + delete unsentOutput[term.pid]; // unbuffered delivery after user input let userInput = false; @@ -157,8 +157,6 @@ function startServer() { console.log('Closed terminal ' + term.pid); // Clean things up delete terminals[term.pid]; - delete unsentOutput[term.pid]; - delete temporaryDisposable[term.pid]; }); });