summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.radicle/native.yaml2
-rw-r--r--lambda-calcul/haskell/public/repl.js3
2 files changed, 3 insertions, 2 deletions
diff --git a/.radicle/native.yaml b/.radicle/native.yaml
index 3b6344f..882bc71 100644
--- a/.radicle/native.yaml
+++ b/.radicle/native.yaml
@@ -25,6 +25,6 @@ shell: |
[[ -f ${HOME}/.config/lambda ]] && rm ${HOME}/.config/lambda
cp "$EXE" ${HOME}/.local/bin/
- cp -fr public "${HOME}/.config/lambda"
+ cp -fr public "${HOME}/.config/lambda/"
sudo systemctl restart lambda
fi
diff --git a/lambda-calcul/haskell/public/repl.js b/lambda-calcul/haskell/public/repl.js
index 12ce03a..8dab744 100644
--- a/lambda-calcul/haskell/public/repl.js
+++ b/lambda-calcul/haskell/public/repl.js
@@ -3,7 +3,8 @@ var websocket = undefined;
function connect() {
websocket = (function() {
const host = window.location.host;
- const ws = new WebSocket("ws://" + host + "/repl/1235");
+ const protocol = window.location.protocol === "https:" ? "wss:" : "ws:";
+ const ws = new WebSocket(protocol + "://" + host + "/repl/1235");
ws.binaryType = "arraybuffer";
return ws;
})();