| <!DOCTYPE html> |
| <html> |
| <head> |
| <title>Ping</title> |
| <script src="resources/utilities.js"></script> |
| <script> |
| |
| var testCalled = false; |
| |
| function test() { |
| if (!testCalled) { |
| if (window.testRunner && window.internals) { |
| testRunner.setStatisticsShouldDowngradeReferrer(false, function () { }); |
| testRunner.dumpAsText(); |
| internals.settings.setHyperlinkAuditingEnabled(true); |
| testRunner.waitUntilDone(); |
| } |
| testCalled = true; |
| return; |
| } |
| |
| clickElement(document.getElementById("a")); |
| } |
| |
| </script> |
| </head> |
| <body onload="test();"> |
| <img src="../resources/delete-ping.php" onload="test();" onerror="test();"></img> |
| <a id="a" href="../resources/check-ping.php" ping="http://localhost:8000/navigation/resources/save-Ping.php">Navigate and send ping</a> |
| </body></html> |
