file_is_locked: return true when flock() is undefined

2008-03-22 18:37:51 +01:00 · 2008-03-22 18:37:51 +01:00 · c1fb4a5e20
parent 621ffb007a
commit c1fb4a5e20
1 changed files with 1 additions and 1 deletions
--- a/functions.php
+++ b/functions.php
@ -1957,7 +1957,7 @@
 				return true;
 			}
 		}
-		return false;
+		return true; // consider the file always locked and skip the test
 	}

 	function make_lockfile($filename) {