Setting a timeout for the file_get_contents function

gistfile1.aw

<?php

	// Create the stream context
	$context = stream_context_create(array(
	    'http' => array(
	        'timeout' => 3   // Timeout in seconds
	    )
	));

	// Fetch the URL's contents
	$contents = file_get_contents('http://reddit.com', 0, $context);

	// Check for empties
	if (!empty($contents))
	{
	    // Woohoo
	    echo $contents;
	}
	else
	{
	    // DANG !
	}
	
?>

thanks also