Reviewed by Eric. Landed by rwlbuis.
[WebKit-https.git] / WebKitTools / WebKitLauncher / start.html
index e987feafeada495ed7fe54d1c9486b28e67388ab..4194c39294778de9b6a51ac9ec9e9e407a6bb72d 100644 (file)
@@ -1,8 +1,22 @@
 <html>
     <head>
-        <meta http-equiv="refresh" content="1;URL=http://nightly.webkit.org/start/" />
+        <title>Loading WebKit...</title>
+        <meta http-equiv="refresh" content="1;URL=http://nightly.webkit.org/start/?current-revision=unknown" />
         <script type="text/javascript">
-            document.location = "http://nightly.webkit.org/start/";
+            function getWebKitRevision()
+            {
+                var request = new XMLHttpRequest();
+                request.open("GET", "VERSION", false);
+                request.send();
+                var revision = parseInt(request.responseText);
+                if (isNaN(revision))
+                    return "unknown";
+
+                return revision;
+            }
+
+            var revision = getWebKitRevision();
+            document.location = "http://nightly.webkit.org/start/?current-revision=" + revision;
         </script>
     </head>
     <body>