start.html 1.1 KB

12345678910111213141516171819202122232425262728293031323334
  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. return revision;
  15. }
  16. function getWebKitBranch()
  17. {
  18. var request = new XMLHttpRequest();
  19. request.open("GET", "BRANCH", false);
  20. request.send();
  21. return (request.responseText || "trunk").replace(/\s/g, '')
  22. }
  23. var revision = getWebKitRevision();
  24. var branch = getWebKitBranch();
  25. document.location = "http://nightly.webkit.org/start/" + branch + "/" + revision;
  26. </script>
  27. </head>
  28. <body>
  29. </body>
  30. </html>