file(http://...) timeout

[Anon]

Is there some way of setting a timeout when retrieving a URL with:

$url="http://www.phpbuilder.com/";
$thefile = file($url);

and then finding out whether the timeout took palce?

[Anon]

connection_timeout returns Tru if the skript terminated due to a timeout

int connection_timeout(void);

normal value is set to 30 seconds.

connection_status returns a status in bit form

int connection_status(void);