Had to do it this way... :(

diff --git a/inc/filters.php b/inc/filters.php
index ecfa95f2698085585572c575bb5853e39f468f35..d2981c0f11d2400fa0c66c0a0eda2ea2b9e630e3 100644 (file)
--- a/inc/filters.php
+++ b/inc/filters.php
@@ -1318,8 +1318,11 @@ function FILTER_HANDLE_REFERRER_BANNER_VIEW ($filterData) {
 
 // Filter for redirecting on wrong server name (e.g. bad.your-server.tld will be redirected to your-server.tld)
 function FILTER_REDIRECT_WRONG_SERVER_NAME ($filterData) {
+       // Get URL
+       $url = getUrl();
+
        // Is the configured URL same as SERVER_NAME?
-       if (extractHostnameFromUrl(getUrl()) != detectServerName()) {
+       if (extractHostnameFromUrl($url) != detectServerName()) {
                // Then redirect to configured URL
                redirectToRequestUri();
        } // END - if