ページには更新間隔を設定 Edit

  • ページが書き換えられたときは必ず更新予定にする。
  • 機能はページの更新間隔を早める。
    ページ内に複数機能がある場合、最も短い間隔を採用する。

更新時間がきても更新はしない。
そのページが必要になったときに判定、更新する。

  • 更新予定ならすぐ更新。

というわけで、どのページも必ずプログラムを通して参照させる。