22 if (substr($a_location, 0, 4) ==
"http")
24 include_once(
"./Services/WebServices/Curl/classes/class.ilCurlConnection.php");
33 require_once
'./Services/Http/classes/class.ilProxySettings.php';
41 $c->setOpt(CURLOPT_PROXY, $proxy);
43 $c->setOpt(CURLOPT_SSL_VERIFYHOST, 0);
44 $c->setOpt(CURLOPT_SSL_VERIFYPEER, 0);
45 $c->setOpt(CURLOPT_MAXREDIRS, 3);
46 $c->setOpt(CURLOPT_HEADER, 0);
47 $c->setOpt(CURLOPT_RETURNTRANSFER, 1);
48 $c->setOpt(CURLOPT_FILE,
$file);
62 $size = @getimagesize($a_location);
67 $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.