waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Prefer const

Browse Source
This commit is contained in:
Daniel Imms
2023-08-23 16:26:00 -07:00
parent 25ef47a78f
commit 81baad6acd
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
demo/server.js
+6 -6
View File
@@ -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);