PHPマニュアル/PEARマニュアル | ユーザフォーラムで議論/質問 | マニュアル検索 | ハイライト | ハイライトオフ | ポータル | php spot

wincache_refresh_if_changed - キャッシュされたファイルのキャッシュエントリをリフレッシュする | JavaScript入門&応用&リファレンスなら「JavaScriptist」

  

wincache_refresh_if_changed

(PECL wincache >= 1.0.0)

wincache_refresh_if_changed キャッシュされたファイルのキャッシュエントリをリフレッシュする

説明

bool wincache_refresh_if_changed ([ array $files = NULL ] )

ファイルのキャッシュエントリをリフレッシュします。ファイル名は引数で渡します。 引数を指定しなかった場合は、キャッシュ内のすべてのエントリをリフレッシュします。

パラメータ

files

リフレッシュしたいファイル名の配列。 絶対パスあるいは相対パスのどちらでもかまいません。

返り値

成功した場合に TRUE を、失敗した場合に FALSE を返します。

WinCache はキャッシュされたファイルを定期的にチェックし、 もしファイルが変更されていれば、キャッシュ内の対応するエントリを更新します。 デフォルトでは、このチェックは 30 秒おきに行います。 たとえば、ある PHP スクリプトが アプリケーションの設定が書かれている別の PHP スクリプトを更新するような場合、 設定はファイルに保存されているのに アプリケーション側ではキャッシュにある以前の設定を利用するという状況も発生し得ます。 そのような場合は、ファイルが変更されたらすぐにキャッシュをリフレッシュすることを推奨します。 次の例は、これをどのように行うかを示すものです。

例1 wincache_refresh_if_changed() の例

<?php 
$filename 
'C:\inetpub\wwwroot\config.php';
$handle fopen($filename'w+');
if (
$handle === FALSE) die('Failed to open file '.$filename.' for writing');
fwrite($handle'<?php $setting=something; ?>');
fclose($handle);
wincache_refresh_if_changed(array($filename));
?>

参考


忘却曲線を使ってこの関数を確実に記憶に残す

フォーラムで「wincache_refresh_if_changed - キャッシュされたファイルのキャッシュエントリをリフレッシュする」について話す
各種マニュアル: PHPマニュアル | PEARマニュアル | Smarty(英語)マニュアル | PHP-GTKマニュアル | wincache_refresh_if_changed - キャッシュされたファイルのキャッシュエントリをリフレッシュする」をGoogle検索
copyright © 1997-2024 PHP ドキュメント作成グループ(ライセンス). provided by php spot. マニュアル: