dumpSession($_SESSION); session_write_close(); } }