Overview
Comment: | Ne pas faire d'erreur en cas de problème à la création, car des fois il y a des race conditions |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | dev |
Files: | files | file ages | folders |
SHA1: |
3b0487da74a0860a921062ede436e948 |
User & Date: | bohwaz on 2018-09-13 22:01:57 |
Other Links: | branch diff | manifest | tags |
Context
2018-09-13
| ||
22:03 | Parfois le fichier a déjà disparu ! check-in: 076971cb89 user: bohwaz tags: dev | |
22:01 | Ne pas faire d'erreur en cas de problème à la création, car des fois il y a des race conditions check-in: 3b0487da74 user: bohwaz tags: dev | |
2018-09-06
| ||
21:51 | Ne pas lister les plugins dont l'archive n'est pas dispo check-in: c3eb0857a4 user: bohwaz tags: dev | |
Changes
Modified src/include/lib/Garradin/Install.php from [3c46c95555] to [ba81d4bd4a].
︙ | ︙ | |||
147 148 149 150 151 152 153 | // Vérifier que les répertoires vides existent, sinon les créer $paths = [DATA_ROOT, PLUGINS_ROOT, CACHE_ROOT, CACHE_ROOT . '/static', CACHE_ROOT . '/compiled']; foreach ($paths as $path) { if (!file_exists($path)) { | | | 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 | // Vérifier que les répertoires vides existent, sinon les créer $paths = [DATA_ROOT, PLUGINS_ROOT, CACHE_ROOT, CACHE_ROOT . '/static', CACHE_ROOT . '/compiled']; foreach ($paths as $path) { if (!file_exists($path)) { @mkdir($path, 0777, true); } if (!is_dir($path)) { throw new UserException('Le répertoire '.$path.' n\'existe pas ou n\'est pas un répertoire.'); } |
︙ | ︙ |