Use of php_session_abort() is the fastest