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