00001 <?php 00008 require_once( "commandLine.inc" ); 00009 if ( isset( $args[0] ) ) { 00010 wfWaitForSlaves($args[0]); 00011 } else { 00012 wfWaitForSlaves(10); 00013 } 00014 00015