diff --git a/404.md b/404.md index 4b21aaf69a..e6c5fb1aab 100644 --- a/404.md +++ b/404.md @@ -1,4 +1,5 @@ --- +layout: null permalink: /404.html --- @@ -16,10 +17,12 @@ function doFwd() { console.log(domainName + ":"+ portNumber +"/{{ item[0] }}"); gonnaFwd = true; - if(forwardingURL.indexOf(":")>-1) { + if(portNumber.length > 0) { + console.log("Port!"); // there is a port number in the location; make sure to replace it newURL = forwardingURL.replace(domainName + ":"+ portNumber +"/{{ item[0] }}","{{ page.archiveserver }}:{{ item[1].ports[0] | replace:':4000','' }}"); } else { + console.log("No port"); // no port number in the location; just foward them on newURL = forwardingURL.replace(domainName + "/{{ item[0] }}","{{ page.archiveserver }}:{{ item[1].ports[0] | replace:':4000','' }}"); } @@ -29,7 +32,7 @@ function doFwd() { console.log("Forwarding to: " + newURL); window.location.replace(newURL); } else { - document.getElementById("DocumentationText").innerHTML = "