<html>
<head>
<title>Loading WebKit...</title>
<meta http-equiv="refresh" content="1;URL=http://nightly.webkit.org/start/" />
<script type="text/javascript">
function getWebKitRevision()
{
var request = new XMLHttpRequest();
request.open("GET", "VERSION", false);
request.send();
var revision = parseInt(request.responseText);
if (isNaN(revision))
return "";
return revision;
}
function getWebKitBranch()
{
var request = new XMLHttpRequest();
request.open("GET", "BRANCH", false);
request.send();
return (request.responseText || "trunk").replace(/\s/g, '')
}
var revision = getWebKitRevision();
var branch = getWebKitBranch();
document.location = "http://nightly.webkit.org/start/" + branch + "/" + revision;
</script>
</head>
<body>
</body>
</html>