Don't exit with status 0 after an exception, for the benefit of other scripts dependi...

diff --git a/maintenance/doMaintenance.php b/maintenance/doMaintenance.php
index cb6faf3..848855e 100644 (file)
--- a/maintenance/doMaintenance.php
+++ b/maintenance/doMaintenance.php
@@ -87,9 +87,11 @@ $wgTitle = null;
 // Do the work
 try {
        $maintenance->execute();
+
+       // Potentially debug globals
+       $maintenance->globals();
 } catch( MWException $mwe ) {
        echo( $mwe->getText() );
+       exit( 1 );
 }
 
-// Potentially debug globals
-$maintenance->globals();