$val) { if ($val) { delete_user_auth($db_link,$val); } } header("Location: " . $_SERVER["REQUEST_URI"]); exit; } print_ip_submenu($page_url); if (empty($rcidr)) { $cidr_filter = ''; } else { $cidr_range = cidrToRange($rcidr); if (!empty($cidr_range)) { $cidr_filter = " AND (U.ip_int>=".ip2long($cidr_range[0])." AND U.ip_int<=".ip2long($cidr_range[1]).")"; } } ?>