$opac_duration_session_auth)&&($opac_duration_session_auth!=-1)) { unset($_SESSION["user_code"]); session_destroy(); $time_expired=1; } else { $_SESSION["connect_time"]=time(); } }