Overview
SHA1:c3eb0857a4cce893995f95439f8f5a8654f78a94
Date: 2018-09-06 21:51:47
User: bohwaz
Comment:Ne pas lister les plugins dont l'archive n'est pas dispo
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: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)
21:50
[65ad392db4] Détecter les plugins dont le code source manque (cas lorsqu'on importe une base sur une installation ou un plugin manque à l'appel) (user: bohwaz, tags: dev)
Changes

Modified src/include/lib/Garradin/Plugin.php from [8c873bd631] to [0e12346d98].

403
404
405
406
407
408
409






410
411
412
413
414
415
416
	static public function listMenu($user)
	{
		$db = DB::getInstance();
		$list = $db->getGrouped('SELECT id, nom, menu_condition FROM plugins WHERE menu = 1 ORDER BY nom;');

		foreach ($list as $id => &$row)
		{






			if (!$row->menu_condition)
			{
				$row = $row->nom;
				continue;
			}

			$condition = strtr($row->menu_condition, [







>
>
>
>
>
>







403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
	static public function listMenu($user)
	{
		$db = DB::getInstance();
		$list = $db->getGrouped('SELECT id, nom, menu_condition FROM plugins WHERE menu = 1 ORDER BY nom;');

		foreach ($list as $id => &$row)
		{
			if (!self::getPath($row->id, false))
			{
				// Ne pas lister les plugins dont le code a disparu
				continue;
			}

			if (!$row->menu_condition)
			{
				$row = $row->nom;
				continue;
			}

			$condition = strtr($row->menu_condition, [