1 files changed, 10 insertions, 1 deletions
diff --git a/lib/updater.php b/lib/updater.php
index ad42f2bf605..b3b289ef276 100644
--- a/lib/updater.php
+++ b/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();
                 }