Ho risolto inserendo session_start() anche all'inizio del file2.php. Particamente:
codice:
// file1.php
session_start();
$_SESSION['var'] = 4;
header("Location: file2.php");
codice:
// file2.php
session_start();
echo $_SESSION['var'];
In questo modo funziona tutto. Quello che mi chiedo ora è perchè in tutti gli esempi che ho trovato sul Web non era necessario?