```php
if (!empty($tmp) && is_numeric($tmp))
{
    $this->options['port'] = $tmp;
}
```