Skip to content
Open
Changes from 2 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
23 changes: 20 additions & 3 deletions source/_templates/redirect.html
Original file line number Diff line number Diff line change
Expand Up @@ -22,17 +22,34 @@
console.error("invalid fragment: " + fragment);
fragment = "";
}
if (fragment !== "" && fragment in fragment_redirects) {
let redirecturl = fragment_redirects[fragment];
function redirectTo(redirecturl) {
if (redirecturl.startsWith("/")) {
redirecturl = window.location.origin + redirecturl;
}
window.location = redirecturl;
}
const hasRedirect = (key) => Object.prototype.hasOwnProperty.call(fragment_redirects, key);
if (fragment !== "" && hasRedirect(fragment)) {
redirectTo(fragment_redirects[fragment]);
} else if (hasRedirect(DEFAULT_PAGE)) {
// Fall back to the base-page redirect. Section anchors aren't always
// explicitly mapped, but anchor names are generally preserved across a
// page move, so carry the original fragment over to the new page rather
// than leaving the user on a blank stub.
let redirecturl = fragment_redirects[DEFAULT_PAGE];
if (fragment !== "" && fragment !== DEFAULT_PAGE) {
console.warn("unmapped fragment, falling back to base page: " + fragment);
if (redirecturl.indexOf("#") === -1) {
redirecturl += "#" + fragment;
}
}
redirectTo(redirecturl);
} else {
if (fragment !== "") {
console.error("unknown redirect: " + fragment);
}
// TODO: redirect the user to a 404 page or some other page
// No redirect could be resolved for this page; send the user to the 404 page.
redirectTo("/404.html");
}
</script>
</body>
Expand Down
Loading