Clean up ChunkedUpdateDrawingAreaProxy
[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/" />
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>