Reviewed by Eric. Landed by rwlbuis.
[WebKit-https.git] / WebKitTools / WebKitLauncher / start.html
1 <html>
2     <head>
3         <title>Loading WebKit...</title>
4         <meta http-equiv="refresh" content="1;URL=http://nightly.webkit.org/start/?current-revision=unknown" />
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 "unknown";
14
15                 return revision;
16             }
17
18             var revision = getWebKitRevision();
19             document.location = "http://nightly.webkit.org/start/?current-revision=" + revision;
20         </script>
21     </head>
22     <body>
23     </body>
24 </html>