diff --git a/ecran_securite.php b/ecran_securite.php index 9453b18480b7317283572fbaa6a1744053a31b0e..51e48df5a2dd5929c7e220c9637d3d9617d16c76 100644 --- a/ecran_securite.php +++ b/ecran_securite.php @@ -5,7 +5,7 @@ * ------------------ */ -define('_ECRAN_SECURITE', '1.1.4'); // 2 octobre 2012 +define('_ECRAN_SECURITE', '1.1.5'); // 8 mars 2013 /* * Documentation : http://www.spip.net/fr_article4200.html @@ -23,7 +23,7 @@ if (isset($_GET['test_ecran_securite'])) if (!defined('_IS_BOT')) define('_IS_BOT', isset($_SERVER['HTTP_USER_AGENT']) - AND preg_match(',bot|slurp|crawler|spider|webvac|yandex|INA dlweb|EC2LinkFinder,i', + AND preg_match(',bot|slurp|crawler|spider|webvac|yandex|INA dlweb|EC2LinkFinder|80legs,i', (string) $_SERVER['HTTP_USER_AGENT']) );