22 if (substr($a_location, 0, 4) ==
"http") {
23 include_once(
"./Services/WebServices/Curl/classes/class.ilCurlConnection.php");
31 require_once
'./Services/Http/classes/class.ilProxySettings.php';
37 $c->setOpt(CURLOPT_PROXY, $proxy);
39 $c->setOpt(CURLOPT_SSL_VERIFYHOST, 0);
40 $c->setOpt(CURLOPT_SSL_VERIFYPEER, 0);
41 $c->setOpt(CURLOPT_MAXREDIRS, 3);
42 $c->setOpt(CURLOPT_HEADER, 0);
43 $c->setOpt(CURLOPT_RETURNTRANSFER, 1);
44 $c->setOpt(CURLOPT_FILE,
$file);
55 $size = @getimagesize($a_location);
58 $size = @getimagesize($a_location);
static makeDirParents($a_dir)
Create a new directory and all parent directories.
static _isCurlExtensionLoaded()
Check if curl extension is loaded.
static getDataDir()
get data directory (outside webspace)
if(!file_exists("$old.txt")) if($old===$new) if(file_exists("$new.txt")) $file
static _getInstance()
Getter for unique instance.