session_destroy logout php files added to enable debugging