Changeset 21666 for extensions/whois_online

Timestamp:

Mar 18, 2013, 10:34:22 AM (12 years ago)

Author:

plg

Message:

sometimes HTTP_USER_AGENT is not set

File:

• extensions/whois_online/main.inc.php (modified) (1 diff)

extensions/whois_online/main.inc.php

@@ -33 +33 @@
 // rel="nofollow" they follow the link. By deactivation this plugin to
 // robots, we avoid wasting resources on servers.
-if (preg_match('/(Googlebot|bingbot|Baiduspider|yandex|AhrefsBot|msnbot)/', isset($_SERVER["HTTP_USER_AGENT"])))
+if (isset($_SERVER["HTTP_USER_AGENT"])
+    and preg_match('/(Googlebot|bingbot|Baiduspider|yandex|AhrefsBot|msnbot)/', $_SERVER["HTTP_USER_AGENT"]))
 {
   return;