Tools/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>