diff options
| author | River Tarnell <kateturner@users.mediawiki.org> | 2005-07-07 02:29:55 +0000 |
|---|---|---|
| committer | River Tarnell <kateturner@users.mediawiki.org> | 2005-07-07 02:29:55 +0000 |
| commit | c3a7c7a4e107daff5ba3663a34ec2efb836e8c0b (patch) | |
| tree | 3981b4cc93a10630bad71ac8dab2519687c3a592 /maintenance/mcc.php | |
| parent | 6e8c95065598c5b932d5c00b68d07df6d613f52d (diff) | |
| download | mediawikicore-c3a7c7a4e107daff5ba3663a34ec2efb836e8c0b.tar.gz mediawikicore-c3a7c7a4e107daff5ba3663a34ec2efb836e8c0b.zip | |
error handling is your friend
Notes
Notes:
http://mediawiki.org/wiki/Special:Code/MediaWiki/9978
Diffstat (limited to 'maintenance/mcc.php')
| -rwxr-xr-x | maintenance/mcc.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/maintenance/mcc.php b/maintenance/mcc.php index b7697c730bde..73b03a139880 100755 --- a/maintenance/mcc.php +++ b/maintenance/mcc.php @@ -19,6 +19,7 @@ do { $bad = false; $quit = false; $line = readconsole( "> " ); + if ($line === false) exit; $args = explode( " ", $line ); $command = array_shift( $args ); switch ( $command ) { |