use die()

Vladimir Kotal · Vladimir Kotal · commit 1ce56cad4300 · 2018-09-07T10:50:05.000+02:00
diff --git a/opengrok-indexer/src/main/java/org/opengrok/indexer/index/Indexer.java b/opengrok-indexer/src/main/java/org/opengrok/indexer/index/Indexer.java
@@ -791,8 +791,7 @@ public static String[] parseOptions(String[] argv) throws ParseException {
 
     private static void checkConfiguration() {
         if (repositories.size() > 0 && !cfg.isHistoryEnabled()) {
-            System.out.println("Repositories were specified however history is off");
-            System.exit(1);
+            die("Repositories were specified however history is off");
         }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -791,8 +791,7 @@ public static String[] parseOptions(String[] argv) throws ParseException {`
`791`	`791`
`792`	`792`	`private static void checkConfiguration() {`
`793`	`793`	`if (repositories.size() > 0 && !cfg.isHistoryEnabled()) {`
`794`		`- System.out.println("Repositories were specified however history is off");`
`795`		`- System.exit(1);`
	`794`	`+ die("Repositories were specified however history is off");`
`796`	`795`	`}`
`797`	`796`	`}`
`798`	`797`