/** * logges the user out */ public function logout() { // delete the session Session::delete($this->session_name); }