ja, sowos müsste gehen (auch wenn ich mich jetzt mit $_SESSION im spezielen nicht auskenne)
sie werden dann nach 30 minuten oder so gelöscht
(kann man in der php.ini einstellen, aber wer will schon x tausend nicht benutzte session dateien auf seinem server haben
)