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>