comparison 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
comparison
equal deleted inserted replaced
1110:7fc4e0087e50 1111:e1d738870086
687 } 687 }
688 688
689 function xhrFinished(xhr) { 689 function xhrFinished(xhr) {
690 xhr.abort(); 690 xhr.abort();
691 inFlight = remove(xhr, inFlight); 691 inFlight = remove(xhr, inFlight);
692 }
693
694 function unurlify(parse, s) {
695 return parse(s);
692 } 696 }
693 697
694 function rc(prefix, uri, parse, k, needsSig) { 698 function rc(prefix, uri, parse, k, needsSig) {
695 uri = cat(prefix, uri); 699 uri = cat(prefix, uri);
696 uri = flattenLocal(uri); 700 uri = flattenLocal(uri);