ma questo codice

<?php
if (isset($_SESSION['nick'])) {
require ('pannello_utente.php');
echo ($_SESSION['nick']);
} else {
require ('login.php');
}
?>

è preceduto dalla istruzione session_start()?