auto_reload.js

(function () {
  var last = null;
  (function request() {
    with (new XMLHttpRequest()) {
      open('get', location.href, true);
      send(null);
      onload = function () {
        if (!last || last == this.responseText) {
          last = this.responseText;
          setTimeout(request, 100);
        } else {
          location.reload(true);
        }
      };
    }
  })();
})();