Fix case where port is missing

diff --git a/lib/request.php b/lib/request.php
index 2a7101efbe1d56c7aa9853ecaa7ec25ab5d6bc1d..d83e432866c985baa9bff700e4b91bfd9db9410d 100755 (executable)
--- a/lib/request.php
+++ b/lib/request.php
@@ -52,7 +52,7 @@ class OC_Request {
                        if (isset($_SERVER['HTTP_HOST'])) {
                                $host = $_SERVER['HTTP_HOST'];
                        }
-                       if (isset($_SERVER['SERVER_NAME'])) {
+                       else if (isset($_SERVER['SERVER_NAME'])) {
                                $host = $_SERVER['SERVER_NAME'];
                        }
                }