Tools/WebKitLauncher/start.html


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
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>