Live fix: set $wgNodeName

diff --git a/includes/Setup.php b/includes/Setup.php
index d30be72..4d2c257 100644 (file)
--- a/includes/Setup.php
+++ b/includes/Setup.php
@@ -79,7 +79,11 @@ $wgIP = false; # Load on demand
 $wgRequest = new WebRequest();
 if ( function_exists( 'posix_uname' ) ) {
        $wguname = posix_uname();
+       $wgNodeName = $wguname['nodename'];
+} else {
+       $wgNodeName = '';
 }
+
 # Useful debug output
 if ( $wgCommandLineMode ) {
        # wfDebug( '"' . implode( '"  "', $argv ) . '"' );