From 35cfaa8b1b02e8fcc2b3312e788662686403a1cf Mon Sep 17 00:00:00 2001 From: emanuele Date: Sun, 22 Dec 2013 17:54:03 +0100 Subject: [PATCH] fetch_web_data should be able to hand https as well Signed-off-by: emanuele --- sources/subs/Package.subs.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sources/subs/Package.subs.php b/sources/subs/Package.subs.php index 6aa62e369c..49dea59064 100644 --- a/sources/subs/Package.subs.php +++ b/sources/subs/Package.subs.php @@ -33,7 +33,7 @@ */ function read_tgz_file($gzfilename, $destination, $single_file = false, $overwrite = false, $files_to_extract = null) { - if (substr($gzfilename, 0, 7) == 'http://') + if (substr($gzfilename, 0, 7) == 'http://' || substr($gzfilename, 0, 8) == 'https://') { $data = fetch_web_data($gzfilename);