all wikimedia servers return fully qualified domain name in `hostname`

there's no need of linux-specific -a flag. warnings--

diff --git a/maintenance/commandLine.inc b/maintenance/commandLine.inc
index dc895f1..aae1c7a 100644 (file)
--- a/maintenance/commandLine.inc
+++ b/maintenance/commandLine.inc
@@ -61,7 +61,7 @@ $wgCommandLineMode = true;
 @ob_end_flush();
 $sep = strchr( $include_path = ini_get( "include_path" ), ";" ) ? ";" : ":";
 
-if ( $sep == ":" && strpos( `hostname -a`, "wikimedia.org" ) !== false ) {
+if ( $sep == ":" && strpos( `hostname`, "wikimedia.org" ) !== false ) {
        $wgWikiFarm = true;
        if ( isset( $args[0] ) ) {
                $lang = array_shift( $args );