summaryrefslogtreecommitdiff
path: root/lib
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
commitd777d7da78fccb8f15eccff680deca36ae57314b (patch)
tree96967222b55ddf2e8ab94d78bbb13cf84fd1ddd4 /lib
parent547adaccb0b29cc02ff89013f84ae6446665144d (diff)
JavaScript urlification; more lenient export pattern in Corify; only include scripts in pages that use JavaScript
Diffstat (limited to 'lib')
-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);