Changeset 21666


Ignore:
Timestamp:
03/18/13 10:34:22 (6 years ago)
Author:
plg
Message:

sometimes HTTP_USER_AGENT is not set

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extensions/whois_online/main.inc.php

    r21587 r21666  
    3333// rel="nofollow" they follow the link. By deactivation this plugin to 
    3434// robots, we avoid wasting resources on servers. 
    35 if (preg_match('/(Googlebot|bingbot|Baiduspider|yandex|AhrefsBot|msnbot)/', isset($_SERVER["HTTP_USER_AGENT"]))) 
     35if (isset($_SERVER["HTTP_USER_AGENT"]) 
     36    and preg_match('/(Googlebot|bingbot|Baiduspider|yandex|AhrefsBot|msnbot)/', $_SERVER["HTTP_USER_AGENT"])) 
    3637{ 
    3738  return; 
Note: See TracChangeset for help on using the changeset viewer.