__set_processor( new SocketRequestProcessor ); $check->set_timeout( 10 ); $result= $check->execute(); if ( $check->executed() ) { return $check->get_response_body(); } else { return NULL; } } } ?>