diff options
author | Martin Doucha <next_ghost@quick.cz> | 2012-06-14 16:34:19 +0200 |
---|---|---|
committer | Martin Doucha <next_ghost@quick.cz> | 2012-06-14 16:34:19 +0200 |
commit | a257b0bd427ca5a7eb636d95f98aca831ec075b5 (patch) | |
tree | f7f7b5ae94861d51328f93365eae14ff68b18ad3 | |
parent | b2a83e66e70296a7a38e7524050a7a4268cc36f6 (diff) | |
download | rpg-a257b0bd427ca5a7eb636d95f98aca831ec075b5.tar.gz rpg-a257b0bd427ca5a7eb636d95f98aca831ec075b5.tar.bz2 |
Cache that has exactly the same age as a dependency may be stale
-rw-r--r-- | inc/cache.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/inc/cache.php b/inc/cache.php index ff78e37ae..e598baa47 100644 --- a/inc/cache.php +++ b/inc/cache.php @@ -69,7 +69,7 @@ class cache { if (!empty($this->depends['files'])) { foreach ($this->depends['files'] as $file) { - if ($this->_time < @filemtime($file)) return false; // cache older than files it depends on? + if ($this->_time <= @filemtime($file)) return false; // cache older than files it depends on? } } |