From 15495e87cb15591ff895563d90bb77fa1e604585 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 4 Oct 2019 18:12:31 -0400
Subject: JavaScript 'currentUrl' should return a string, not a URL, since the
 latter has a completeley different sort of 'replace' method

---
 lib/js/urweb.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();
 }
 
 
-- 
cgit v1.2.3