| public freeResult ( resource $result ) : void | ||
| $result | resource | database result |
| return | void | |
public function freeResult($result)
{
if (is_resource($result) && get_resource_type($result) === 'mysql result') {
mysql_free_result($result);
}
}