# HG changeset patch # User Matti Hamalainen # Date 1443591532 -10800 # Node ID a59bb75aa0ecbb10042f84e834da3aec367db3ee # Parent 9c3100ab29cc082272e989295b9d8a69ced8fc13 Cleanup. diff -r 9c3100ab29cc -r a59bb75aa0ec index.php --- a/index.php Tue Sep 08 10:48:48 2015 +0300 +++ b/index.php Wed Sep 30 08:38:52 2015 +0300 @@ -513,8 +513,7 @@ $cacheDirty = FALSE; // Try to read cachefile, if we can get file lock on it -$fp = @fopen($courseCacheFile, "rb"); -if ($fp) +if (($fp = @fopen($courseCacheFile, "rb")) !== FALSE) { if (flock($fp, LOCK_SH)) {