| <!DOCTYPE html> | |
| <meta charset="utf-8"> | |
| <script src="/common/get-host-info.sub.js"></script> | |
| <body> | |
| <script> | |
| var link = document.createElement("link"); | |
| link.rel = "prefetch"; | |
| link.href = get_host_info().HTTP_REMOTE_ORIGIN + "/WebKit/prefetch/resources/prefetched-main-resource-redirect.py"; | |
| link.onload = function() { | |
| window.location = get_host_info().HTTP_REMOTE_ORIGIN + "/WebKit/prefetch/resources/prefetched-main-resource-redirect.py"; | |
| }; | |
| document.body.appendChild(link); | |
| </script> | |
| </body> |