summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2019-10-04 18:12:31 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2019-10-04 18:12:31 -0400
commit15495e87cb15591ff895563d90bb77fa1e604585 (patch)
tree2cc68c2ef3101206a08d9e6ed08887d2b7f81f34 /lib
parent0d50fc13ea2a8cf1ac7887eabb8cb1e0608c7b19 (diff)
JavaScript 'currentUrl' should return a string, not a URL, since the latter has a completeley different sort of 'replace' method
Diffstat (limited to 'lib')
-rw-r--r--lib/js/urweb.js2
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();
}