diff --git a/inc/inc.ClassExtensionMgr.php b/inc/inc.ClassExtensionMgr.php
index 08ca88d15..7fc372905 100644
--- a/inc/inc.ClassExtensionMgr.php
+++ b/inc/inc.ClassExtensionMgr.php
@@ -712,9 +712,13 @@ $EXT_CONF = '.var_export($EXT_CONF, true).';');
 	 */
 	public function getExtensionFromRepository($file) { /* {{{ */
 		$content = file_get_contents($this->reposurl."/".$file, false, $this->getStreamContext());
-		$tmpfile = tempnam(sys_get_temp_dir(), '');
-		file_put_contents($tmpfile, $content);
-		return $tmpfile;
+		if ($content) {
+			$tmpfile = tempnam(sys_get_temp_dir(), '');
+			file_put_contents($tmpfile, $content);
+			return $tmpfile;
+		} else {
+			return false;
+		}
 	} /* }}} */
 
 	/**