| <html><head> | |
| <title>Ping</title> | |
| <script> | |
| if (window.testRunner) { | |
| testRunner.dumpAsText(); | |
| testRunner.waitUntilDone(); | |
| } | |
| if (location.protocol != "https:") | |
| location = "https://127.0.0.1:8443/navigation/ping-cross-origin.html" | |
| </script> | |
| </head></html> |