Fix GUID generation when SERVER_NAME is empty

horde · Dec 18, 2021 · f2d1b4b · f2d1b4b
1 parent dc343fe
commit f2d1b4b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/Horde/Support/Guid.php b/lib/Horde/Support/Guid.php
@@ -57,7 +57,7 @@ public function generate(array $opts = array())
             . (isset($opts['prefix']) ? $opts['prefix'] . '.' : '')
             . strval(new Horde_Support_Randomid())
             . '@'
-            . (isset($opts['server']) ? $opts['server'] : (isset($_SERVER['SERVER_NAME']) ? $_SERVER['SERVER_NAME'] : 'localhost'));
+            . (isset($opts['server']) ? $opts['server'] : (!empty($_SERVER['SERVER_NAME']) ? $_SERVER['SERVER_NAME'] : 'localhost'));
     }
 
     /**