Last modified: 2010-05-15 15:28:09 UTC

Wikimedia Bugzilla is closed!

Wikimedia has migrated from Bugzilla to Phabricator. Bug reports should be created and updated in Wikimedia Phabricator instead. Please create an account in Phabricator and add your Bugzilla email address to it.
Wikimedia Bugzilla is read-only. If you try to edit or create any bug report in Bugzilla you will be shown an intentional error message.
In order to access the Phabricator task corresponding to a Bugzilla report, just remove "static-" from its URL.
You could still run searches in Bugzilla or access your list of votes but bug reports will obviously not be up-to-date in Bugzilla.
Bug 1077 - Wrong redirects if $wgServerName not set.
Wrong redirects if $wgServerName not set.
Status: RESOLVED DUPLICATE of bug 61
Product: MediaWiki
Classification: Unclassified
General/Unknown (Other open bugs)
All All
: Normal enhancement (vote)
: ---
Assigned To: Nobody - You can work on this!
Depends on:
  Show dependency treegraph
Reported: 2004-12-11 23:38 UTC by Bodo Thiesen
Modified: 2010-05-15 15:28 UTC (History)
0 users

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---


Description Bodo Thiesen 2004-12-11 23:38:41 UTC
In non-public environments, servername may be localhost or something like that. If 
I now try to set up mediawiki, I get redirected to localhost in some cases, which 
is bad[TM]. Current implementation tries to guess $wgServerName by looking at 
SERVER_NAME and HOSTNAME and falls back to 'localhost' if either fails. The 
env-vars may each be set to localhost, which is wrong, if I use any other system to 
access the wiki. HTTP_HOST contains the domain or ip address used in the uri when a 
page is requested. So try first to obtain $wgServerName form there, and only fall 
back to any of the other ways if that fails.

Regards, Bodo.

The patch is also available for download at - just for the case of 
problems with tabs etc.

diff -ur mediawiki-1.3.8/includes/DefaultSettings.php 
--- mediawiki-1.3.8/includes/DefaultSettings.php        2004-11-16 
00:59:13.000000000 +0100
+++ mediawiki/includes/DefaultSettings.php      2004-12-12 00:18:17.000000000 +0100
@@ -14,8 +14,11 @@
 $wgSitename         = 'MediaWiki'; # Please customize!
 $wgMetaNamespace    = FALSE; # will be same as you set $wgSitename
-if( isset( $_SERVER['SERVER_NAME'] ) ) {
+if (isset( $_SERVER["HTTP_HOST"] )) {
+       # First try to get the ServerName from the only point, which is 
+       # correct in ANY case. Only if that faily, try other guesses.
+       $wgServerName = $_SERVER["HTTP_HOST"];
+} elseif( isset( $_SERVER['SERVER_NAME'] ) ) {
        $wgServerName = $_SERVER['SERVER_NAME'];
 } elseif( isset( $_SERVER['HOSTNAME'] ) ) {
        $wgServerName = $_SERVER['HOSTNAME'];
Comment 1 Brion Vibber 2004-12-11 23:49:03 UTC

*** This bug has been marked as a duplicate of 61 ***

Note You need to log in before you can comment on or make changes to this bug.