From 81baad6acd168e533a564548bbf85afe63ee6c37 Mon Sep 17 00:00:00 2001
From: Daniel Imms <2193314+Tyriar@users.noreply.github.com>
Date: Wed, 23 Aug 2023 16:26:00 -0700
Subject: [PATCH] Prefer const

---
 demo/server.js | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/demo/server.js b/demo/server.js
index e6eb25f1..90ed2842 100644
--- a/demo/server.js
+++ b/demo/server.js
@@ -18,9 +18,9 @@ function startServer() {
   const app = express();
   const appWs = expressWs(app).app;
 
-  var terminals = {},
-    unsentOutput = {},
-    temporaryDisposable = {};
+  const terminals = {};
+  const unsentOutput = {};
+  const temporaryDisposable = {};
 
   app.use('/xterm.css', express.static(__dirname + '/../css/xterm.css'));
   app.get('/logo.png', (req, res) => {
@@ -94,7 +94,7 @@ function startServer() {
   });
 
   appWs.ws('/terminals/:pid', function (ws, req) {
-    var term = terminals[parseInt(req.params.pid)];
+    const term = terminals[parseInt(req.params.pid)];
     console.log('Connected to terminal ' + term.pid);
     temporaryDisposable[term.pid].dispose();
     delete temporaryDisposable[term.pid];
@@ -178,8 +178,8 @@ function startServer() {
     });
   });
 
-  var port = parseInt(process.env.PORT ?? '3000'),
-      host = os.platform() === 'win32' ? '127.0.0.1' : '0.0.0.0';
+  const port = parseInt(process.env.PORT ?? '3000');
+  const host = os.platform() === 'win32' ? '127.0.0.1' : '0.0.0.0';
 
   console.log('App listening to http://127.0.0.1:' + port);
   app.listen(port, host, 0);