From 80b665a9a626abfbbdc091f165bf041c27d9dfb4 Mon Sep 17 00:00:00 2001
From: Robin Gottfried <robin.gottfried@fragaria.cz>
Date: Tue, 18 Feb 2020 14:10:54 +0100
Subject: [PATCH]  host:port argument for server

---
 server/index.js | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/server/index.js b/server/index.js
index 93ce536..6cfcfc6 100644
--- a/server/index.js
+++ b/server/index.js
@@ -15,9 +15,13 @@ let server = http.createServer(
 const wss = new WebSocket.Server({ noServer: true });
 
 
-let server_port = process.argv[2];
+let [server_host, server_port] = process.argv[2].split(':', 2);
+if (server_port === undefined && !isNaN(server_host)) {
+  server_port = server_host;
+  server_host = '0.0.0.0';
+}
 
-if (! server_port) server_port=8000;
+if (!server_port) server_port=8000;
 /*
  * @authenticator ... function (request, callback) which calls callback(err, client).
  *                    `err` is empty on success and client which should be an object with `key` property.
@@ -66,5 +70,5 @@ server.on("listening", function onListening() {
     `);
 
 });
-server.listen(server_port);
+server.listen(server_port, server_host);