file_is_locked: return true when flock() is undefined

diff --git a/functions.php b/functions.php
index 958f137df7936dd8df9e96c2cf7fb9fb3736d1ad..de54648374a4286a29708b48bc7a8b088514fd4d 100644 (file)
--- 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) {