Overview
Comment:Correction : gérer les noms de plugins en majuscules (signal par @Youssef)
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | dev
Files: files | file ages | folders
SHA1: c3541ceb638df29894950c6b34e3a55cb2a9d893
User & Date: bohwaz on 2017-06-08 03:40:00
Other Links: branch diff | manifest | tags
Context
2017-06-08
05:37
Utilisation de KD2\Translate pour obtenir la liste des pays check-in: 1c1f650b03 user: bohwaz tags: dev
03:40
Correction : gérer les noms de plugins en majuscules (signal par @Youssef) check-in: c3541ceb63 user: bohwaz tags: dev
2017-06-06
00:01
DB: Forcer la fin des transactions en cas de crash du script pour empêcher de crasher la DB check-in: 0bd6e3acda user: bohwaz tags: dev
Changes

Modified src/include/lib/Garradin/Plugin.php from [8256935348] to [12a29cbd97].

   343    343   		$dir = dir(PLUGINS_ROOT);
   344    344   
   345    345   		while ($file = $dir->read())
   346    346   		{
   347    347   			if (substr($file, 0, 1) == '.')
   348    348   				continue;
   349    349   
   350         -			if (!preg_match('!^([a-z0-9_.-]+)\.tar\.gz$!', $file, $match))
          350  +			if (!preg_match('!^([a-zA-Z0-9_.-]+)\.tar\.gz$!i', $file, $match))
   351    351   				continue;
   352    352   			
   353    353   			if (array_key_exists($match[1], $installed))
   354    354   				continue;
   355    355   
   356    356   			$list[$match[1]] = (object) parse_ini_file('phar://' . PLUGINS_ROOT . '/' . $match[1] . '.tar.gz/garradin_plugin.ini', false);
   357    357   		}