Statistiques
| Branche: | Révision :

root / functions.php @ 4e8f0aee6c0b3ead76ba467f2cec72c95af59b08

Historique | Voir | Annoter | Télécharger (2,2 ko)

1
<?php
2
3
$DIVISION = array(
4
        "PRO" => "PRO",
5
        "N" => "National",
6
        "PN" => "Pr&eacute;-National",
7
        "R" => "R&eacute;gional",
8
        "PR" => "Pr&eacute;-R&eacute;gional",
9
        "D" => "D&eacute;partemental"
10
);
11
12
$SEP_DIV = "_";
13
14
/* Equivalent de file_put_contents disponible uniquement en PHP 5 */
15
function my_file_put_contents($filename, $content, $flag = false) {
16
        if (!$flag) $mode = 'w';
17
        $f = @fopen($filename, $mode);
18
        if ($f === false) {
19
                return 0;
20
        } else {
21
                if (is_array($content)) $content = implode($content);
22
                $bytes_written = fwrite($f, $content);
23
                fclose($f);
24
                return $bytes_written;
25
        }
26
}
27
28
function getDirs($path, &$var) {
29
        if ($dir = opendir($path)) {
30
                while (($file = readdir($dir)) !== FALSE) {
31
                        if (is_dir("$path/$file") && $file != "." && $file != "..")
32
                                $var[] = $file;
33
                }
34
                closedir($dir);
35
        }
36
}
37
38
function mkdirRecursive($path) {
39
        if (!file_exists($path)) {
40
                mkdirRecursive(dirname($path));
41
                mkdir($path);
42
        }
43
}
44
45
// Teste si le répertoire existe et est vide
46
function isEmptyDir($dirname) {
47
        $result = false;
48
        if (is_dir($dirname)) {
49
                $result = true;
50
                $files = opendir($dirname);
51
                while (($name = readdir($files)) !== false) {
52
                        if ($name != "." && $name != "..") {
53
                                $result = false;
54
                                break;
55
                        }
56
                }
57
                closedir($files);
58
        }
59
        return $result;
60
}
61
62
function IamAdmin() {
63
        return (basename(dirname($_SERVER['PHP_SELF'])) == "admin");
64
}
65
66
function monRmdir($dir) {
67
        if (file_exists("trash")) {
68
                // rmdir pour free.fr (bande de nazes)
69
                rename($dir, "trash/".basename($dir));
70
        } else {
71
                rmdir($dir);
72
        }
73
}
74
75
// Récupération des équipes d'un championnat identifié par $path
76
function getEquipes($path) {
77
        $file = "$path/equipes";
78
        if (file_exists($file) && $equipes = file($file)) {
79
                foreach ($equipes as $n => $e) $equipes[$n] = rtrim($e);
80
                return $equipes;
81
        }
82
        return array();
83
}
84
85
function backup(&$zip, $dir, $zipdir) {
86
        if ($dh = opendir($dir)) {
87
                while (($file = readdir($dh)) !== false) {
88
                        if ($file == "." || $file == "..") continue;
89
                        $filename = "$dir/$file";
90
                        if (is_dir($filename)) {
91
                                backup($zip, $filename, "$zipdir/$file");
92
                        } else {
93
                                $fp = fopen($filename, 'r');
94
                                $contenu = fread($fp, filesize($filename));
95
                                fclose($fp);
96
                                $zip->addfile($contenu, "$zipdir/$file");
97
                        }
98
                }
99
                closedir($dh);
100
        }
101
}
102
103
?>