ho ancora un problemino, che in realtà è quello originale...

come mai con questi due comandi:
print_r($_SESSION['user']);
echo $_SESSION['user'];
con IE vedo la variabile e con Firefox no???