explode e poi array_unique

[neoty]

Grazie
così funziona:

$_SESSION['session_prod_name'] = $prodotto.';'.$_SESSION['session_prod_name'];
$prodotti_tot = explode(";",$_SESSION['session_prod_name']);
$prodotti_tot_ = array_unique($prodotti_tot);
for ($i=0; $i<count($prodotti_tot_);$i++) {
    echo '' . $prodotti_tot_[$i] . '
';
}