use socket timeout of 10 sec to stay responsive even with a slow internet connection or a not working server

lib/updater.php

@@ -42,7 +42,16 @@ class OC_Updater{
 
 		//fetch xml data from updater
 		$url=$updaterurl.'?version='.$versionstring;
-                $xml=@file_get_contents($url);
+
+		// set a sensible timeout of 10 sec to stay responsive even if the update server is down.
+		$ctx = stream_context_create(
+			array( 
+				'http' => array( 
+					'timeout' => 10 
+				) 
+			) 
+		); 
+		$xml=@file_get_contents($url, 0, $ctx);
                 if($xml==FALSE) {
                         return array();
                 }