| Index: branches/wmf-deployment/maintenance/lag.php |
| — | — | @@ -3,7 +3,7 @@ |
| 4 | 4 | $wgUseNormalUser = true; |
| 5 | 5 | require_once('commandLine.inc'); |
| 6 | 6 | |
| 7 | | -if ( $options['r'] ) { |
| | 7 | +if ( isset( $options['r'] ) ) { |
| 8 | 8 | print 'time '; |
| 9 | 9 | foreach( $wgDBservers as $i => $server ) { |
| 10 | 10 | $hostname = gethostbyaddr( $wgDBservers[$i]['host'] ); |