Ignore:
Timestamp:
Mar 18, 2013, 10:34:22 AM (11 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.