diff options
| author | lehollandaisvolant <levoltigeurhollandais@gmail.com> | 2013-09-03 15:55:13 +0200 |
|---|---|---|
| committer | lehollandaisvolant <levoltigeurhollandais@gmail.com> | 2013-09-03 15:55:13 +0200 |
| commit | 03545ef69170ab4aeebd77be41c9edbd28324cd5 (patch) | |
| tree | 2bf1b70ad62dba912af832983ab38c8c04bdfe2b /index.php | |
| parent | 002ef0e5c8ed2bab38e205a5d54617780f25c3a9 (diff) | |
| download | Shaarli-03545ef69170ab4aeebd77be41c9edbd28324cd5.tar.gz Shaarli-03545ef69170ab4aeebd77be41c9edbd28324cd5.tar.zst Shaarli-03545ef69170ab4aeebd77be41c9edbd28324cd5.zip | |
Ajout d’un UA lors de la récupération d’une page externe (certains site veulent un UA)
Diffstat (limited to 'index.php')
| -rw-r--r-- | index.php | 4 |
1 files changed, 2 insertions, 2 deletions
| @@ -566,7 +566,7 @@ function getHTTP($url,$timeout=30) | |||
| 566 | { | 566 | { |
| 567 | try | 567 | try |
| 568 | { | 568 | { |
| 569 | $options = array('http'=>array('method'=>'GET','timeout' => $timeout)); // Force network timeout | 569 | $options = array('http'=>array('method'=>'GET','timeout' => $timeout, 'user_agent' => 'Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:23.0) Gecko/20100101 Firefox/23.0')); // Force network timeout |
| 570 | $context = stream_context_create($options); | 570 | $context = stream_context_create($options); |
| 571 | $data=file_get_contents($url,false,$context,-1, 4000000); // We download at most 4 Mb from source. | 571 | $data=file_get_contents($url,false,$context,-1, 4000000); // We download at most 4 Mb from source. |
| 572 | if (!$data) { return array('HTTP Error',array(),''); } | 572 | if (!$data) { return array('HTTP Error',array(),''); } |
| @@ -2440,4 +2440,4 @@ if (isset($_SERVER["QUERY_STRING"]) && startswith($_SERVER["QUERY_STRING"],'do=d | |||
| 2440 | if (isset($_SERVER["QUERY_STRING"]) && startswith($_SERVER["QUERY_STRING"],'ws=')) { processWS(); exit; } // Webservices (for jQuery/jQueryUI) | 2440 | if (isset($_SERVER["QUERY_STRING"]) && startswith($_SERVER["QUERY_STRING"],'ws=')) { processWS(); exit; } // Webservices (for jQuery/jQueryUI) |
| 2441 | if (!isset($_SESSION['LINKS_PER_PAGE'])) $_SESSION['LINKS_PER_PAGE']=$GLOBALS['config']['LINKS_PER_PAGE']; | 2441 | if (!isset($_SESSION['LINKS_PER_PAGE'])) $_SESSION['LINKS_PER_PAGE']=$GLOBALS['config']['LINKS_PER_PAGE']; |
| 2442 | renderPage(); | 2442 | renderPage(); |
| 2443 | ?> \ No newline at end of file | 2443 | ?> |