diff --git a/server/api/routes/Manifest.php b/server/api/routes/Manifest.php index 9cfb5be..c57f6e6 100644 --- a/server/api/routes/Manifest.php +++ b/server/api/routes/Manifest.php @@ -68,25 +68,72 @@ final class Manifest } /** + * Filtre + dédupe par numéro de version. + * + * Étape 1 — filter : on garde les versions visibles par ce client. Un + * client sur channel X voit les entries taggées 'default' OU 'X'. + * + * Étape 2 — dedupe : pour chaque numéro de version qui apparaît plusieurs + * fois (cas v1.5.3 default + v1.5.3 firefighter), on ne renvoie qu'UNE + * seule entry — la plus spécifique au client. Priorité : l'entry taggée + * avec le channel propre du client gagne ; à défaut, l'entry default + * sert de fallback. Sans cette dédup côté serveur, le launcher recevait + * deux entries v1.5.3 et son `ToDictionary(v => v.Version)` collisionnait + * silencieusement, ce qui faisait apparaître dans l'UI le mauvais ZIP + * pour un user firefighter. + * * @param array> $versions * @return list> */ private static function filterVersions(array $versions, ?string $clientChannel): array { - $filtered = []; + // Étape 1 : filter visible par ce client + $visible = []; foreach ($versions as $v) { - // Si pas de channels sur l'entry → implicitement "default" $channels = (isset($v['channels']) && is_array($v['channels']) && !empty($v['channels'])) ? $v['channels'] : ['default']; - $isPublic = in_array('default', $channels, true); + $isPublic = in_array('default', $channels, true); $matchesUser = $clientChannel !== null && in_array($clientChannel, $channels, true); if ($isPublic || $matchesUser) { - $filtered[] = $v; + $visible[] = ['entry' => $v, 'channels' => $channels]; } } - return array_values($filtered); + + // Étape 2 : group by version, pick most specific per group + $byVersion = []; + foreach ($visible as $item) { + $key = (string)($item['entry']['version'] ?? '?'); + $byVersion[$key][] = $item; + } + + $result = []; + foreach ($byVersion as $items) { + if (count($items) === 1) { + $result[] = $items[0]['entry']; + continue; + } + // Plusieurs entries pour ce numéro : on cherche d'abord une qui + // matche le channel spécifique du client (firefighter, police…), + // sinon on retombe sur l'entry default. + $specific = null; + $defaultEntry = null; + foreach ($items as $item) { + if ($clientChannel !== null + && $specific === null + && in_array($clientChannel, $item['channels'], true)) { + $specific = $item; + } + if ($defaultEntry === null && in_array('default', $item['channels'], true)) { + $defaultEntry = $item; + } + } + $picked = $specific ?? $defaultEntry ?? $items[0]; + $result[] = $picked['entry']; + } + + return array_values($result); } }