diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
commit | cecb985bee3bdd252e1b8dc0bd500b37cd52be01 (patch) | |
tree | 17266aa237742640aabee7856f0202317a45d540 /maintenance/waitForSlave.php | |
parent | 0bac06c301f2a83edb0236e4c2434da16848d549 (diff) |
Aktualisierung auf MediaWiki 1.10.0
Plugins angepasst und verbessert
kleine Korrekturen am Design
Diffstat (limited to 'maintenance/waitForSlave.php')
-rw-r--r-- | maintenance/waitForSlave.php | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/maintenance/waitForSlave.php b/maintenance/waitForSlave.php new file mode 100644 index 00000000..f41bdfc2 --- /dev/null +++ b/maintenance/waitForSlave.php @@ -0,0 +1,16 @@ +<?php +require_once( "commandLine.inc" ); + +# Don't wait for benet +foreach ( $wgLoadBalancer->mServers as $i => $server ) { + if ( $server['host'] == '10.0.0.29' ) { + unset($wgLoadBalancer->mServers[$i]); + } +} +if ( isset( $args[0] ) ) { + wfWaitForSlaves($args[0]); +} else { + wfWaitForSlaves(10); +} + +?> |