エディタで編集するだけでhtmlファイルをリロードするJavaScriptライブラリ

http://d.hatena.ne.jp/javascripter/20081103/1225682273


(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, 500);
} else {
location.reload(true);
}
};
}
})();
})();
定期的にファイルの更新時刻をチェックして、新しくなっていればリロードするというJavaScript。なるほどこの発想は無かった。
すばらしい。