diff options
| author | Upstream <upstream-import@none> | 1970-01-12 13:46:40 +0000 |
|---|---|---|
| committer | Upstream <upstream-import@none> | 1970-01-12 13:46:40 +0000 |
| commit | d8543bb6618c17b12da906afa77d216f58cf4058 (patch) | |
| tree | c58dc05ed86825bd0ef8d305d58c8205106b540f /WebKitTools/WebKitLauncher/start.html | |
| download | external_webkit-d8543bb6618c17b12da906afa77d216f58cf4058.zip external_webkit-d8543bb6618c17b12da906afa77d216f58cf4058.tar.gz external_webkit-d8543bb6618c17b12da906afa77d216f58cf4058.tar.bz2 | |
external/webkit r30707
Diffstat (limited to 'WebKitTools/WebKitLauncher/start.html')
| -rw-r--r-- | WebKitTools/WebKitLauncher/start.html | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/WebKitTools/WebKitLauncher/start.html b/WebKitTools/WebKitLauncher/start.html new file mode 100644 index 0000000..2c94e79 --- /dev/null +++ b/WebKitTools/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> |