diff lib/js/urweb.js @ 1111:e1d738870086

JavaScript urlification; more lenient export pattern in Corify; only include scripts in pages that use JavaScript
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 Jan 2010 14:54:15 -0500
parents 82ac88b4e0a7
children 24a62b6412c4
line wrap: on
line diff
--- a/lib/js/urweb.js	Sat Jan 02 13:31:59 2010 -0500
+++ b/lib/js/urweb.js	Sat Jan 02 14:54:15 2010 -0500
@@ -691,6 +691,10 @@
   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);