PHP fileType Exemples

Exemple #1

Fichier : mysql-find-socket.php Projet : rkania/GS3

function _grep_mysql_socket($str)
{
    if (preg_match('/(\\/(?:var|tmp)\\/[a-z\\.\\-_\\/]+)/', $str, $m)) {
        $filename = $m[1];
        if (@file_exists($filename)) {
            if (@fileType($filename) === 'socket') {
                return $m[1];
            }
        }
    }
    return null;
}

Exemple #2

Fichier : system_gpbx-upgrade.php Projet : rkania/GS3

function _find_disk($preferred_device = null)
{
    $devs = array();
    if ($preferred_device) {
        $devs[] = $preferred_device;
    }
    $tmp = @glob('/dev/hd?');
    if (is_array($tmp)) {
        foreach ($tmp as $dev) {
            $devs[] = baseName($dev);
        }
    }
    foreach ($devs as $dev) {
        $filetype = @fileType('/dev/' . $dev);
        if ($filetype === 'block') {
            if (file_exists('/proc/ide/' . $dev . '/media')) {
                if (trim(@file_get_contents('/proc/ide/' . $dev . '/media')) === 'disk') {
                    return $dev;
                }
            }
        }
    }
    return null;
}

Exemple #3

Fichier : log.php Projet : rkania/GS3

 function is_fifo($filename)
 {
     return fileType($filename) === 'fifo';
 }