summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell/public/repl.html
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud@pankzsoft.com>2025-11-05 14:23:03 +0100
committerArnaud Bailly <arnaud@pankzsoft.com>2025-11-05 14:23:03 +0100
commitafcfa146122179dc80dd8055314b1381d152fb09 (patch)
tree2aa2d930f89fa308d016c92c43395edaacbfcb99 /lambda-calcul/haskell/public/repl.html
parent71fa7dfdc873b014bf1b5b8ea648e803bff67724 (diff)
downloadlambda-nantes-afcfa146122179dc80dd8055314b1381d152fb09.tar.gz
provide session id to user so they can reconnect
Diffstat (limited to 'lambda-calcul/haskell/public/repl.html')
-rw-r--r--lambda-calcul/haskell/public/repl.html1
1 files changed, 1 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/public/repl.html b/lambda-calcul/haskell/public/repl.html
index a6c5e78..4d95361 100644
--- a/lambda-calcul/haskell/public/repl.html
+++ b/lambda-calcul/haskell/public/repl.html
@@ -19,6 +19,7 @@
</div>
</div>
<div id="repl">
+ <div id="session"></div>
<div class="command">
<input id="command" class="disconnected" />
<img class="connect" id="connect" src="images/connect.png" />