index 6b2e283a2ac6167972563a6e90d8c5cf24b75d7a..2bfbf0d46afebd3544398cff6be007dbf9898c24 100644 (file)
"(25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)/","",$ip);
$mask = preg_replace("/^\//","",$mask);
- if((in_array("$mask",$res)) && preg_match("/^[0-9\.]/",$mask)){
+ if((in_array_strict("$mask",$res)) && preg_match("/^[0-9\.]/",$mask)){
return(TRUE);
}
}