src/Filesystem.php
public static function unlockFile($filePath)
    {
        global $globals;
        
        if (isset($globals['file_locks'][$filePath]))
        {
            # This creates the file if it doesnt exist.
            fclose($globals['file_locks'][$filePath]);
            unset($globals['file_locks'][$filePath]);
        }
    }
public static function unlockFile($filePath)
    {
        global $globals;
        
        if (isset($globals['file_locks'][$filePath]))
        {
            # This creates the file if it doesnt exist.
            fclose($globals['file_locks'][$filePath]);
            unset($globals['file_locks'][$filePath]);
        }
    }
public static function unlockFile ( $ filePath ) { global $ globals ; if ( isset ( $ globals [ 'file_locks' ] [ $ filePath ] ) ) { # This creates the file if it doesnt exist. fclose ( $ globals [ 'file_locks' ] [ $ filePath ] ) ; unset ( $ globals [ 'file_locks' ] [ $ filePath ] ) ; } }
Unlock a file so that others may use it.
@param String $filePath - the full path to the file that we wish to lock
@return void.
Unlock a file so that others may use it .