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> 34
