[PHP-DEV] time limt From: roel (roel <email protected>)
Date: 09/30/01

Hi,

set_time_limit() and max_execution_time() wont work on this script.

$url = "http://www.example.com";
$file = implode('',file($url));
if(!$file)
 {
          print("error");
 }

My question is how can I make the script time out if the server where I want
to connect to is busy. Now the script will time out after 30 (default)
seconds. I want to connect, if the server is busy then a message "server
busy" should appear but not after 30 seconds!

I'm not working local so I can't change the default 30 sec.

Thanks very much!
Roel 

-- 
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, e-mail: php-dev-unsubscribe <email protected>
For additional commands, e-mail: php-dev-help <email protected>
To contact the list administrators, e-mail: php-list-admin <email protected>