From 225fbac427ea92899e5d3aabd6a11d4ee2773afa Mon Sep 17 00:00:00 2001
From: bloodyowl <bloodyowl@icloud.com>
Date: Mon, 19 Apr 2021 16:54:08 +0200
Subject: [PATCH] Add back -ws option

---
 rescript | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/rescript b/rescript
index 5ae00c21eb..d2024bd5fa 100755
--- a/rescript
+++ b/rescript
@@ -178,6 +178,26 @@ if (
 } else {
   var delegate_args = process_argv.slice(2);
   var watch_mode = delegate_args.includes("-w");
+  var wsParamIndex = delegate_args.indexOf("-ws");
+  if(wsParamIndex > -1) {
+    var hostAndPortNumber = (process_argv[wsParamIndex + 1] || '').split(':');
+    /**
+     * @type {number}
+     */
+    var portNumber;
+    if (hostAndPortNumber.length === 1) {
+        portNumber = parseInt(hostAndPortNumber[0]);
+    } else {
+        webSocketHost = hostAndPortNumber[0];
+        portNumber = parseInt(hostAndPortNumber[1]);
+    }
+    if (!isNaN(portNumber)) {
+        webSocketPort = portNumber;
+    }
+    useWebSocket = true;
+    dlog(`WebSocket host & port number: ${webSocketHost}:${webSocketPort}`);
+  };
+
   verbose = delegate_args.includes("-verbose");
 
   try {