1 files changed, 33 insertions, 0 deletions
diff --git a/Tools/WebKitLauncher/start.html b/Tools/WebKitLauncher/start.html
new file mode 100644
index 0000000..2c94e79
--- /dev/null
+++ b/Tools/WebKitLauncher/start.html
@@ -0,0 +1,33 @@
+<html>
+    <head>
+        <title>Loading WebKit...</title>
+        <meta http-equiv="refresh" content="1;URL=http://nightly.webkit.org/start/" />
+        <script type="text/javascript">
+            function getWebKitRevision()
+            {
+                var request = new XMLHttpRequest();
+                request.open("GET", "VERSION", false);
+                request.send();
+                var revision = parseInt(request.responseText);
+                if (isNaN(revision))
+                    return "";
+
+                return revision;
+            }
+
+            function getWebKitBranch()
+            {
+                var request = new XMLHttpRequest();
+                request.open("GET", "BRANCH", false);
+                request.send();
+                return (request.responseText || "trunk").replace(/\s/g, '')
+            }
+
+            var revision = getWebKitRevision();
+            var branch = getWebKitBranch();
+            document.location = "http://nightly.webkit.org/start/" + branch + "/" + revision;
+        </script>
+    </head>
+    <body>
+    </body>
+</html>