From 0188f36e008744adc00c4bccad7459829decaee4 Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Tue, 4 Apr 2006 10:19:19 +0000
Subject: [PATCH] Return non-zero when LocalSettings.php is missing.

---
 maintenance/commandLine.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/maintenance/commandLine.inc b/maintenance/commandLine.inc
index c1dc5b567b..b8188e6380 100644
--- 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;
-- 
2.20.1