<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>