Notice: Undefined index carrello

[RoTeam]

semmai volevi fare cosi

function usaCarrello() 
{ 
  if(!isset($_SESSION['carrello'])) 
  { 
    return 'Il carrello è vuoto.
'; 
  }else{ 
    $prodotti = explode(',',$_SESSION['carrello']); 
    return 'Ci sono <a href="carrello.php">'. 
    count($prodotti). ' prodotti nel carrello.</a>
'; 
  } 
}