お家サーバー日記/2004-12-19 のバックアップ差分(No.1)

バックアップ一覧
現在との差分を表示
ソースを表示
お家サーバー日記/2004-12-19 へ行く。
- 1 (2004-12-20 (月) 17:40:21)
- 2 (2004-12-20 (月) 01:15:32)

追加された行はこの色です。
削除された行はこの色です。

''タイムリミット''

PukiWikiとPHPのバージョンを同時に上げたら、cmd=linksという
時間のかかる処理がうまくいかなくなった。
/usr/local/lib/php.ini にある、max_execution_time がデフォルトでは30秒
なのだが、いつの間にかページが増えすぎて時間がかかりすぎていたようだ。

しかし、時間のかかる処理では、PukiWikiの処理であらかじめ set_time_limit(0)
という関数を実行しているので問題ないはずなのだがだめなようだ。

確かに、[[マニュアル:http://jp2.php.net/manual/ja/function.set-time-limit.php]]
には、php.ini の記述に従うと書かれている。以前のバージョンでは、
例外的に処理時間のリミットを外す目的で使えていたように思うのだが。