equal
deleted
inserted
replaced
|
1 <html> |
|
2 <head> |
|
3 <title>Loading WebKit...</title> |
|
4 <meta http-equiv="refresh" content="1;URL=http://nightly.webkit.org/start/" /> |
|
5 <script type="text/javascript"> |
|
6 function getWebKitRevision() |
|
7 { |
|
8 var request = new XMLHttpRequest(); |
|
9 request.open("GET", "VERSION", false); |
|
10 request.send(); |
|
11 var revision = parseInt(request.responseText); |
|
12 if (isNaN(revision)) |
|
13 return ""; |
|
14 |
|
15 return revision; |
|
16 } |
|
17 |
|
18 function getWebKitBranch() |
|
19 { |
|
20 var request = new XMLHttpRequest(); |
|
21 request.open("GET", "BRANCH", false); |
|
22 request.send(); |
|
23 return (request.responseText || "trunk").replace(/\s/g, '') |
|
24 } |
|
25 |
|
26 var revision = getWebKitRevision(); |
|
27 var branch = getWebKitBranch(); |
|
28 document.location = "http://nightly.webkit.org/start/" + branch + "/" + revision; |
|
29 </script> |
|
30 </head> |
|
31 <body> |
|
32 </body> |
|
33 </html> |