1 files changed, 11 insertions, 1 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 66d427c8..59e5ad2c 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -2135,6 +2135,16 @@ function active(s) {
     }
 }
 
+function listen(s, onchange) {
+    var x = document.createElement("script");
+    x.dead = false;
+    x.signal = s;
+    x.sources = null;
+    x.closures = null;
+    x.recreate = onchange;
+    populate(x);
+}
+
 function input(x, s, recreate, type, name) {
     if (name) x.name = name;
     if (type) x.type = type;
@@ -3270,7 +3280,7 @@ function confrm(s) {
 }
 
 function currentUrl() {
-    return window.location;
+    return window.location.toString();
 }