Better check of server name for unusual web servers

diff --git a/lib/weblib.php b/lib/weblib.php
index 07327bd6dbbfab8ca38875961e289e58a72caeca..868b8d97b4fd1750eae733c5590c4450ad04fed4 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -118,6 +118,8 @@ function qualified_me() {
         $hostname = $_SERVER["HTTP_HOST"];
     } else if (!empty($_ENV["HTTP_HOST"])) {
         $hostname = $_ENV["HTTP_HOST"];
+    } else if (!empty($_SERVER["SERVER_NAME"])) {
+        $hostname = $_SERVER["SERVER_NAME"];
     } else if (!empty($_ENV["SERVER_NAME"])) {
         $hostname = $_ENV["SERVER_NAME"];
     } else {