se vuoi fare una cosa alternativa puoi provare con
Codice PHP:
if(isset($_SESSION))
{
fai questo

Il php offre un sacco di possibilità, vedi tu quale ti piace di più/è più elegante/è più corretta, ecc ecc