Return non-zero when LocalSettings.php is missing.

diff --git a/maintenance/commandLine.inc b/maintenance/commandLine.inc
index c1dc5b5..b8188e6 100644 (file)
--- a/maintenance/commandLine.inc
+++ b/maintenance/commandLine.inc
@@ -156,7 +156,7 @@ if ( file_exists( '/home/wikipedia/common/langlist' ) ) {
        if ( ! is_readable( $settingsFile ) ) {
                print "A copy of your installation's LocalSettings.php\n" .
                  "must exist in the source directory.\n";
-               exit();
+               exit( 1 );
        }
        $wgCommandLineMode = true;
        $DP = $IP;