On Thursday 06 April 2006 14:31, Rick DeNatale wrote:
On 4/6/06, Markus Krötzsch mak@aifb.uni-karlsruhe.de wrote:
On Thursday 06 April 2006 07:07, Dave Burns wrote:
On 4/5/06, Rob Church robchur@gmail.com wrote:
- Upgrade MediaWiki as soon as possible
I'm afraid it is out of sync already - should I really upgrade?
- Check the value of $wgServer in LocalSettings.php is correct
cat LocalSettings.php|grep wgServer
... nothing...
root@0[wiki]# cat LocalSettings.php|grep localhost $wgDBserver = "localhost";
So I changed that to the server's hostname, no change in my problem.
That is quite strange. The FAQ
Not strange at all. $wgServer and $wgDBserver are two different variables with different purposes.
$wgServer tells mediawiki what name to use in the host portion of the URLs it generates to link to wiki stuff.
$wgDBServer tells mediawiki the name of the host which is running mySql. This may or may not be the same machine which is running the web server, hence the separate variables.
If $wgServer is not set in LocalSettings.php, the value for it which is calculated in includes/DefaultSettings.php will be used. It defaults to localhost.
This is a general pattern. Configuration variables are set in includes/DefaultSettings.php before the code in LocalSettings.php is executed. This allows the default settings to be overriden in such a way that they are easy to preserve across versions of mediawiki. If you don't find a variable in LocalSettings.php, look for it in includes/DefaultSettings.php, but don't change it there, add the statement to change it in LocalSettings.php.
He needs to set $wgServer NOT $wgDBServer.
Ah, sure! I misunderstood his email and believed that he did exactly that ... this should be it then.