<body>
</body>
<script>
if (window.testRunner) {
	testRunner.dumpAsText();
} else {
	alert("Test can only be run in WebKitTestRunner");
}
</script>
<script src="resources/user-agent-script.php"></script>
<script>
window.mainResourceUserAgent = "<?php 
echo $_SERVER['HTTP_USER_AGENT'];
?>";

if (!sessionStorage.savedUserAgent) {
	sessionStorage.savedUserAgent = navigator.userAgent;
	testRunner.setCustomUserAgent("WebKitRules");
	testRunner.queueReload();
} else {
	errorFound = false;
	if (mainResourceUserAgent != subresourceUserAgent) {
		errorFound = true;
		document.body.innerHTML = "Error: Main resource and subresource were fetched with different user agent strings.";
    }
	if (mainResourceUserAgent == sessionStorage.savedUserAgent) {
		errorFound = true;
		document.body.innerHTML += "Error: Main resource was fetched with the same user agent string on the reload as was used on the first load.";
	}
    if (subresourceUserAgent == sessionStorage.savedUserAgent) {
		errorFound = true;
		document.body.innerHTML += "Error: Subresource was fetched with the same user agent string on the reload as was used on the first load.";
	}
	
	if (!errorFound)
		document.body.innerHTML = "Passed";
	
	testRunner.notifyDone();
}
</script>