Codice PHP:
if (isset($_SESSION["prova"])) 
{ 
          echo $_SESSION["prova"]; 
} 
L'errore NOTICE è rinviato o non, a seconda della configurazione del server.
Non è rinviata per default, perché è un tipo di errore di minima importanza, corrispondente alla costante E_NOTICE.