Update index.php

This commit is contained in:
Fred 2019-05-03 22:42:30 +02:00 committed by GitHub
parent 6cfcd35e78
commit 0c6d8b9529
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 20 deletions

View File

@ -24,26 +24,6 @@ date_default_timezone_set('Europe/Paris');
setlocale (LC_TIME, 'fra_fra', 'french');
/*Configuration Proxy */
$proxy = 'cache-etu.univ-artois.fr:3128';
if (!empty($proxy)) {
$proxy = str_replace('http://', 'tcp://', $proxy);
$context = array(
'http' => array(
'proxy' => $proxy,
'request_fulluri' => true,
'verify_peer' => false,
'verify_peer_name' => false,
),
"ssl"=>array(
"verify_peer"=>false,
"verify_peer_name"=>false
)
);
stream_context_set_default($context);
} else {
echo "Proxy not found" . PHP_EOL;
}
/**
* Initialisation de Zwii