Retry downloads

Author: weltling

lib/php/libsdk/SDK/FileOps.php

@@ -116,6 +116,9 @@ protected function mv(string $src, string $dst) : bool
 	protected function download(string $url, string $dest_fn = NULL) : ?string
 	{/*{{{*/
 		$fd = NULL;
+		$retry = 0;
+
+retry:
 		$ch = curl_init();
 
 		curl_setopt($ch, CURLOPT_URL, $url);
@@ -143,6 +146,9 @@ protected function download(string $url, string $dest_fn = NULL) : ?string
 			if ($dest_fn) {
 				fclose($fd);
 			}
+			if ($retry++ < 3) {
+				goto retry;
+			}
 			throw new Exception($err);
 		}