Re: stream_set_timeout & get_headers (PHP5)

From: Date: Sun, 06 Mar 2005 23:13:21 +0000
Subject: Re: stream_set_timeout & get_headers (PHP5)
References: 1  Groups: php.general 
Request: Send a blank email to php-general+get-210119@lists.php.net to get a copy of this message
Chris wrote:
I'm requesting some remote files to cache on my own server and performing a get_headers() first to find out the file type, since I don't always know what it is. I've discovered some timeout problems with the remote server sometimes and my own script would end up with a fatal error because the script took longer to process than 30 seconds. Being able to set a timeout would allow me to gracefully recover, rather than displaying an ugly error. I know I can use stream_set_timeout() on fsockopen() if I want to write my own get_headers function for < PHP5... but is it possible to set the timeout on PHP5's built in get_headers()?
ini_set('default_socket_timeout', .... );

« previous php.general (#210119) next »