1800)) { //Destroy all session. session_unset(); destroySession(); } //Update last activity time stamp $_SESSION["LAST_ACTIVITY"] = time(); ?>