snmp timeout

Виснет если Ip не пингуется, как добавить таймаут

Код (Text):

1. foreach ($arr1 as $url) {
2.     //print("<tr>");
3.  
4.     $session = new SNMP(SNMP::VERSION_2c, $url, 'public');
5.     //echo $url."<pre>";
6.     $oid1 ='.1.3.6.1.2.1.25.3.2.1.5.1';
7.     $oid2 ='.1.3.6.1.4.1.2699.1.2.1.2.1.1.2.1';
8.     $oid3 ='.1.3.6.1.2.1.43.10.2.1.4.1.1';
9.  
10.     //print($oid1."<pre>");
11.  
12.     //echo "<pre>".$url;
13.     echo @$session->get($oid1)."<br>";