[html5] r2029 - [e] (0) 'close' button should work until the next revision.
whatwg at whatwg.org
whatwg at whatwg.org
Wed Aug 6 12:39:12 PDT 2008
Author: ianh
Date: 2008-08-06 12:39:12 -0700 (Wed, 06 Aug 2008)
New Revision: 2029
Modified:
header-whatwg
index
Log:
[e] (0) 'close' button should work until the next revision.
Modified: header-whatwg
===================================================================
--- header-whatwg 2008-08-06 19:30:35 UTC (rev 2028)
+++ header-whatwg 2008-08-06 19:39:12 UTC (rev 2029)
@@ -113,6 +113,7 @@
}
var current_revision = "r" + "$Revision: 0 $".substr(11);
current_revision = current_revision.substr(0, current_revision.length - 2);
+ var last_known_revision = current_revision;
function getRemoteString(url, callback) {
var x = new XMLHttpRequest();
x.open('GET', url + "?" + new Date());
@@ -128,8 +129,9 @@
}
function doUpdate() {
getRemoteString('revision.dat', function (data) {
- if (data != current_revision) {
+ if (data != last_known_revision) {
getRemoteString('revision-message.dat', function (message) {
+ last_known_revision = data;
var status = document.getElementById('updatesStatus');
status.textContent = 'This specification has been updated. You are reading ' + current_revision + ' but the latest revision is ' + data + ' ("' +
message + '") ';
Modified: index
===================================================================
--- index 2008-08-06 19:30:35 UTC (rev 2028)
+++ index 2008-08-06 19:39:12 UTC (rev 2029)
@@ -149,6 +149,7 @@
}
var current_revision = "r" + "$Revision$".substr(11);
current_revision = current_revision.substr(0, current_revision.length - 2);
+ var last_known_revision = current_revision;
function getRemoteString(url, callback) {
var x = new XMLHttpRequest();
x.open('GET', url + "?" + new Date());
@@ -164,8 +165,9 @@
}
function doUpdate() {
getRemoteString('revision.dat', function (data) {
- if (data != current_revision) {
+ if (data != last_known_revision) {
getRemoteString('revision-message.dat', function (message) {
+ last_known_revision = data;
var status = document.getElementById('updatesStatus');
status.textContent = 'This specification has been updated. You are reading ' + current_revision + ' but the latest revision is ' + data + ' ("' +
message + '") ';
More information about the Commit-Watchers
mailing list