| 1 |
723 |
jeremybenn |
<!-- Get and update the GCC regression tester's web page.
|
| 2 |
|
|
Copyright (C) 2005, 2007, 2009 Free Software Foundation, Inc.
|
| 3 |
|
|
|
| 4 |
|
|
This file is part of GCC.
|
| 5 |
|
|
|
| 6 |
|
|
GCC is free software; you can redistribute it and/or modify it under
|
| 7 |
|
|
the terms of the GNU General Public License as published by the Free
|
| 8 |
|
|
Software Foundation; either version 3, or (at your option) any later
|
| 9 |
|
|
version.
|
| 10 |
|
|
|
| 11 |
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
| 12 |
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
| 13 |
|
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
| 14 |
|
|
for more details.
|
| 15 |
|
|
|
| 16 |
|
|
You should have received a copy of the GNU General Public License
|
| 17 |
|
|
along with GCC; see the file COPYING3. If not see
|
| 18 |
|
|
<http://www.gnu.org/licenses/>. -->
|
| 19 |
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
|
| 20 |
|
|
"http://www.w3.org/TR/html4/strict.dtd">
|
| 21 |
|
|
<head>
|
| 22 |
|
|
<meta http-equiv="Content-Script-Type" content="text/javascript">
|
| 23 |
|
|
<meta http-equiv="Content-Type" content="text/html;charset=utf-8">
|
| 24 |
|
|
<title>Regression Tester Status</title>
|
| 25 |
|
|
<style type='text/css'>
|
| 26 |
|
|
body {
|
| 27 |
|
|
margin: 0px;
|
| 28 |
|
|
padding: 0px;
|
| 29 |
|
|
}
|
| 30 |
|
|
pre {
|
| 31 |
|
|
font-family: Monaco;
|
| 32 |
|
|
font-size: 9px;
|
| 33 |
|
|
margin: 0px;
|
| 34 |
|
|
padding: 1px 2px 1px 2px;
|
| 35 |
|
|
color: black;
|
| 36 |
|
|
background-color: white;
|
| 37 |
|
|
opacity: 0.8;
|
| 38 |
|
|
}
|
| 39 |
|
|
</style>
|
| 40 |
|
|
<script type='text/javascript' defer>
|
| 41 |
|
|
// A string representing NUM, with a leading zero if it would be 1 digit long
|
| 42 |
|
|
function dig2 (num)
|
| 43 |
|
|
{
|
| 44 |
|
|
var result = num.toString();
|
| 45 |
|
|
if (result.length == 1)
|
| 46 |
|
|
return '0' + result;
|
| 47 |
|
|
else
|
| 48 |
|
|
return result;
|
| 49 |
|
|
}
|
| 50 |
|
|
|
| 51 |
|
|
// Get DATE as a string in standard ISO format in UTC
|
| 52 |
|
|
function getISO (date)
|
| 53 |
|
|
{
|
| 54 |
|
|
return (date.getUTCFullYear().toString() + '-'
|
| 55 |
|
|
+ dig2 (date.getUTCMonth() + 1) + '-'
|
| 56 |
|
|
+ dig2 (date.getUTCDate()) + 'T'
|
| 57 |
|
|
+ dig2 (date.getUTCHours()) + ':'
|
| 58 |
|
|
+ dig2 (date.getUTCMinutes()) + 'Z');
|
| 59 |
|
|
}
|
| 60 |
|
|
|
| 61 |
|
|
// STR is a bunch of lines of the form '<key>: <date>' where <date> is in
|
| 62 |
|
|
// standard ISO UTC format. Return a Date object corresponding to KEY, or null
|
| 63 |
|
|
// if none is found.
|
| 64 |
|
|
function fromISO (str, key)
|
| 65 |
|
|
{
|
| 66 |
|
|
var rx = new RegExp (key + ": (\\d+)-(\\d+)-(\\d+)T(\\d+):(\\d+):(\\d+)Z");
|
| 67 |
|
|
var match = rx.exec (str);
|
| 68 |
|
|
if (match == null || match.length != 7)
|
| 69 |
|
|
return null;
|
| 70 |
|
|
var date = new Date(0);
|
| 71 |
|
|
date.setUTCFullYear (match[1], match[2] - 1, match[3]);
|
| 72 |
|
|
date.setUTCHours (match[4], match[5], match[6], 0);
|
| 73 |
|
|
return date;
|
| 74 |
|
|
}
|
| 75 |
|
|
|
| 76 |
|
|
// Update the data
|
| 77 |
|
|
function updateContents () {
|
| 78 |
|
|
var url = 'http://gcc.gnu.org/regtest/HEAD/status.txt';
|
| 79 |
|
|
if (document.URL && document.URL.substring (0,5) == 'http:') {
|
| 80 |
|
|
url = document.URL.replace ('widget.html','status.txt');
|
| 81 |
|
|
}
|
| 82 |
|
|
var xml_request = new XMLHttpRequest();
|
| 83 |
|
|
|
| 84 |
|
|
xml_request.onload = function(e)
|
| 85 |
|
|
{
|
| 86 |
|
|
gotContents(e, xml_request);
|
| 87 |
|
|
}
|
| 88 |
|
|
xml_request.open("GET", url);
|
| 89 |
|
|
xml_request.setRequestHeader("Cache-Control", "max-age=30");
|
| 90 |
|
|
xml_request.send(null);
|
| 91 |
|
|
}
|
| 92 |
|
|
|
| 93 |
|
|
function gotContents (event, request) {
|
| 94 |
|
|
if (request.status != 200)
|
| 95 |
|
|
return;
|
| 96 |
|
|
|
| 97 |
|
|
if (! request.responseText)
|
| 98 |
|
|
return;
|
| 99 |
|
|
|
| 100 |
|
|
var txt = request.responseText;
|
| 101 |
|
|
var today = new Date();
|
| 102 |
|
|
var date_r = fromISO (txt, "Date");
|
| 103 |
|
|
var completed_r = fromISO (txt, "Test-Completed");
|
| 104 |
|
|
var now_test_r = fromISO (txt, "Now-Testing");
|
| 105 |
|
|
var eta = "";
|
| 106 |
|
|
|
| 107 |
|
|
if (date_r != null && completed_r != null && now_test_r != null)
|
| 108 |
|
|
{
|
| 109 |
|
|
var eta_r = new Date (now_test_r.getTime()
|
| 110 |
|
|
+ completed_r.getTime() - date_r.getTime());
|
| 111 |
|
|
eta = "ETA: " + getISO (eta_r) + '\n';
|
| 112 |
|
|
}
|
| 113 |
|
|
|
| 114 |
|
|
var val = txt + "Now: " + getISO (today) + '\n' + eta;
|
| 115 |
|
|
var contEl = document.getElementById ("contents");
|
| 116 |
|
|
contEl.removeChild(contEl.firstChild);
|
| 117 |
|
|
contEl.appendChild (document.createTextNode (val));
|
| 118 |
|
|
}
|
| 119 |
|
|
|
| 120 |
|
|
var mainTimer = null;
|
| 121 |
|
|
|
| 122 |
|
|
function myOnShow ()
|
| 123 |
|
|
{
|
| 124 |
|
|
if (! mainTimer) {
|
| 125 |
|
|
mainTimer = setInterval (updateContents, 60000);
|
| 126 |
|
|
}
|
| 127 |
|
|
updateContents();
|
| 128 |
|
|
}
|
| 129 |
|
|
|
| 130 |
|
|
function myOnHide ()
|
| 131 |
|
|
{
|
| 132 |
|
|
if (mainTimer) {
|
| 133 |
|
|
clearInterval (mainTimer);
|
| 134 |
|
|
mainTimer = null;
|
| 135 |
|
|
}
|
| 136 |
|
|
}
|
| 137 |
|
|
|
| 138 |
|
|
function myOnLoad ()
|
| 139 |
|
|
{
|
| 140 |
|
|
if ( window.widget ) {
|
| 141 |
|
|
widget.onshow = myOnShow;
|
| 142 |
|
|
widget.onhide = myOnHide;
|
| 143 |
|
|
}
|
| 144 |
|
|
myOnShow();
|
| 145 |
|
|
}
|
| 146 |
|
|
</script>
|
| 147 |
|
|
</head>
|
| 148 |
|
|
|
| 149 |
|
|
<body onLoad='myOnLoad();'>
|
| 150 |
|
|
<pre id="contents">Loading...</pre>
|
| 151 |
|
|
</body>
|
| 152 |
|
|
</html>
|
