Prima di header location dovrebe richiamare session_write_close() in modo che le modifiche siano effettivamente scritte in sessione. Con header location, in alcune configurazioni, questo non avviene.