diff options
| author | Geoffrey Keating <geoffk@geoffk.org> | 2007-12-23 00:57:19 +0000 |
|---|---|---|
| committer | Geoffrey Keating <geoffk@gcc.gnu.org> | 2007-12-23 00:57:19 +0000 |
| commit | 30f4c25dd84b6f4bfb2f5aec722753e6d55170e5 (patch) | |
| tree | 0b5c44ba2aced805a7a616d4c194eb2f71fa4295 /contrib/regression | |
| parent | 6eddcb0d5624eae4ab1f08609eb31804f8e8207d (diff) | |
widget.html: Mark as HTML 4.01, which it now is, rather than XHTML, which it never was.
* GCC_Regression_Tester.wdgt/widget.html: Mark as HTML 4.01,
which it now is, rather than XHTML, which it never was.
(<head>): Mark as UTF-8. Add title. Move CSS to top of
document, specify type. Mark script as 'defer'.
(updateContents): If loaded from HTTP, look for status in same
place as widget.
(gotContents): Use DOM methods to change text rather than innerHTML.
(<body>): Eliminate unnecessary DIV element.
* GCC_Regression_Tester.wdgt/Info.plist: Update version, copyright
notice.
From-SVN: r131145
Diffstat (limited to 'contrib/regression')
| -rw-r--r-- | contrib/regression/ChangeLog | 13 | ||||
| -rw-r--r-- | contrib/regression/GCC_Regression_Tester.wdgt/Info.plist | 6 | ||||
| -rw-r--r-- | contrib/regression/GCC_Regression_Tester.wdgt/widget.html | 62 |
3 files changed, 46 insertions, 35 deletions
diff --git a/contrib/regression/ChangeLog b/contrib/regression/ChangeLog index c0d52161daf..77f284b9d85 100644 --- a/contrib/regression/ChangeLog +++ b/contrib/regression/ChangeLog @@ -1,3 +1,16 @@ +2007-12-22 Geoff Keating <geoffk@geoffk.org> + + * GCC_Regression_Tester.wdgt/widget.html: Mark as HTML 4.01, + which it now is, rather than XHTML, which it never was. + (<head>): Mark as UTF-8. Add title. Move CSS to top of + document, specify type. Mark script as 'defer'. + (updateContents): If loaded from HTTP, look for status in same + place as widget. + (gotContents): Use DOM methods to change text rather than innerHTML. + (<body>): Eliminate unnecessary DIV element. + * GCC_Regression_Tester.wdgt/Info.plist: Update version, copyright + notice. + 2006-09-05 Geoffrey Keating <geoffk@apple.com> * btest-gcc.sh: .bad_compare has moved to toplevel from gcc/. diff --git a/contrib/regression/GCC_Regression_Tester.wdgt/Info.plist b/contrib/regression/GCC_Regression_Tester.wdgt/Info.plist index a00106d1092..a011e69a38f 100644 --- a/contrib/regression/GCC_Regression_Tester.wdgt/Info.plist +++ b/contrib/regression/GCC_Regression_Tester.wdgt/Info.plist @@ -11,9 +11,9 @@ <key>CFBundleName</key> <string>GCC Regr. Tester</string> <key>CFBundleShortVersionString</key> - <string>1.0.1</string> + <string>1.0.2</string> <key>CFBundleVersion</key> - <string>1.0.1</string> + <string>1.0.2</string> <key>CloseBoxInsetX</key> <integer>0</integer> <key>CloseBoxInsetY</key> @@ -25,7 +25,7 @@ <key>MainHTML</key> <string>widget.html</string> <key>NSHumanReadableCopyright</key> - <string>Copyright © 2005 Free Software Foundation, Inc.</string> + <string>Copyright © 2005, 2007 Free Software Foundation, Inc.</string> <key>Width</key> <integer>261</integer> </dict> diff --git a/contrib/regression/GCC_Regression_Tester.wdgt/widget.html b/contrib/regression/GCC_Regression_Tester.wdgt/widget.html index b9fecc280b5..94f44ad3f82 100644 --- a/contrib/regression/GCC_Regression_Tester.wdgt/widget.html +++ b/contrib/regression/GCC_Regression_Tester.wdgt/widget.html @@ -1,5 +1,5 @@ <!-- Get and update the GCC regression tester's web page. - Copyright (C) 2005 Free Software Foundation, Inc. + Copyright (C) 2005, 2007 Free Software Foundation, Inc. This file is part of GCC. @@ -17,15 +17,28 @@ You should have received a copy of the GNU General Public License along with GCC; see the file COPYING. If not, write to the Free Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. --> -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE html - PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" - "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml"> -<META http-equiv="Content-Script-Type" content="text/javascript"> - +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" + "http://www.w3.org/TR/html4/strict.dtd"> <head> -<script type='text/javascript'> +<meta http-equiv="Content-Script-Type" content="text/javascript"> +<meta http-equiv="Content-Type" content="text/html;charset=utf-8"> +<title>Regression Tester Status</title> +<style type='text/css'> +body { + margin: 0px; + padding: 0px; +} +pre { + font-family: Monaco; + font-size: 9px; + margin: 0px; + padding: 1px 2px 1px 2px; + color: black; + background-color: white; + opacity: 0.8; +} +</style> +<script type='text/javascript' defer> // A string representing NUM, with a leading zero if it would be 1 digit long function dig2 (num) { @@ -64,6 +77,9 @@ function fromISO (str, key) // Update the data function updateContents () { var url = 'http://gcc.gnu.org/regtest/HEAD/status.txt'; + if (document.URL && document.URL.substring (0,5) == 'http:') { + url = document.URL.replace ('widget.html','status.txt'); + } var xml_request = new XMLHttpRequest(); xml_request.onload = function(e) @@ -82,12 +98,7 @@ function gotContents (event, request) { if (! request.responseText) return; - var txt = (request.responseText - .replace (/&/g,"&") - .replace (/</g,"<") - .replace (/"/g,""") - .replace (/>;/g,">")); - + var txt = request.responseText; var today = new Date(); var date_r = fromISO (txt, "Date"); var completed_r = fromISO (txt, "Test-Completed"); @@ -102,7 +113,9 @@ function gotContents (event, request) { } var val = txt + "Now: " + getISO (today) + '\n' + eta; - document.getElementById ("contents").innerHTML = "<pre>"+val+"<\/pre>"; + var contEl = document.getElementById ("contents"); + contEl.removeChild(contEl.firstChild); + contEl.appendChild (document.createTextNode (val)); } var mainTimer = null; @@ -132,24 +145,9 @@ function myOnLoad () myOnShow(); } </script> -<style> -body { - margin: 0px; - padding: 0px; -} -pre { - font-family: Monaco; - font-size: 9px; - margin: 0px; - padding: 1px 2px 1px 2px; - color: black; - background-color: white; - opacity: 0.8; -} -</style> </head> <body onLoad='myOnLoad();'> -<div id="contents">Loading...</div> +<pre id="contents">Loading...</pre> </body> </html> |