[html5] r2029 - [e] (0) 'close' button should work until the next revision.

[whatwg at whatwg.org]

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 + '") ';