Overview
SHA1:3b0487da74a0860a921062ede436e9488a610b76
Date: 2018-09-13 22:01:57
User: bohwaz
Comment:Ne pas faire d'erreur en cas de problème à la création, car des fois il y a des race conditions
Timelines: family | ancestors | descendants | both | dev
Downloads: Tarball | ZIP archive
Other Links: files | file ages | folders | manifest
Tags And Properties
Context
2018-09-13
22:03
[076971cb89] Parfois le fichier a déjà disparu ! (user: bohwaz, tags: dev)
22:01
[3b0487da74] Ne pas faire d'erreur en cas de problème à la création, car des fois il y a des race conditions (user: bohwaz, tags: dev)
2018-09-06
21:51
[c3eb0857a4] Ne pas lister les plugins dont l'archive n'est pas dispo (user: bohwaz, tags: dev)
Changes

Modified src/include/lib/Garradin/Install.php from [3c46c95555] to [ba81d4bd4a].

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.');
		    }








|







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.');
		    }