JavaScript 'currentUrl' should return a string, not a URL, since the latter has a completeley different sort of 'replace' method

1 files changed, 1 insertions, 1 deletions

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 332de6dc..59e5ad2c 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -3280,7 +3280,7 @@ function confrm(s) {
 }
 
 function currentUrl() {
-    return window.location;
+    return window.location.toString();
 }