maintenance/waitForSlave.php

   1 <?php
   2 require_once( "commandLine.inc" );
   3 if ( isset( $args[0] ) ) {
   4         wfWaitForSlaves($args[0]);
   5 } else {
   6         wfWaitForSlaves(10);
   7 }
   8
   9