comparison lib/js/urweb.js @ 1385:449a12b82db7

Client-side redirects
author Adam Chlipala <adam@chlipala.net>
date Thu, 06 Jan 2011 14:25:42 -0500
parents 02fc16faecf3
children 36f7d1debb37
comparison
equal deleted inserted replaced
1384:86d23010ea74 1385:449a12b82db7
711 inFlight = remove(xhr, inFlight); 711 inFlight = remove(xhr, inFlight);
712 } 712 }
713 713
714 function unurlify(parse, s) { 714 function unurlify(parse, s) {
715 return parse(s); 715 return parse(s);
716 }
717
718 function redirect(s) {
719 window.location = s;
716 } 720 }
717 721
718 function rc(prefix, uri, parse, k, needsSig) { 722 function rc(prefix, uri, parse, k, needsSig) {
719 uri = cat(prefix, uri); 723 uri = cat(prefix, uri);
720 uri = flattenLocal(uri); 724 uri = flattenLocal(uri);