timeout for file()?

[corsa]

Hi,

I'm wondering whether there is a way to have file() timeout, similar to stream_set_timeout() for fgets?

My script reads several pages on other webservers and some of them are not always accessible.

Update: I've tried using ini_set('default_socket_timeout', 20); to limit the timeout to 20 seconds when trying to access the remote pages, but this seems to cause my own script to timeout.

Thanks.

Corsa