summaryrefslogtreecommitdiff
path: root/lib/js
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-01-02 14:54:15 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-01-02 14:54:15 -0500
commitf0670d5a5a60c1bdda0277fcf74f2cf3f028c5b4 (patch)
tree96967222b55ddf2e8ab94d78bbb13cf84fd1ddd4 /lib/js
parentc8de04e4f81490bfde750375c55de2a260072e82 (diff)
JavaScript urlification; more lenient export pattern in Corify; only include scripts in pages that use JavaScript
Diffstat (limited to 'lib/js')
-rw-r--r--lib/js/urweb.js4
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 8d7f6e40..a5713bf0 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -691,6 +691,10 @@ function xhrFinished(xhr) {
inFlight = remove(xhr, inFlight);
}
+function unurlify(parse, s) {
+ return parse(s);
+}
+
function rc(prefix, uri, parse, k, needsSig) {
uri = cat(prefix, uri);
uri = flattenLocal(uri);