1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
<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>
|
