java/sql-dk/src/info/globalcode/sql/dk/CLIStarter.java
branchv_0
changeset 149 6a6f7b384591
parent 146 4f4f515df807
child 155 eb3676c6929b
--- a/java/sql-dk/src/info/globalcode/sql/dk/CLIStarter.java	Wed Jan 08 19:35:20 2014 +0100
+++ b/java/sql-dk/src/info/globalcode/sql/dk/CLIStarter.java	Wed Jan 08 19:59:19 2014 +0100
@@ -58,6 +58,7 @@
 	public static final int EXIT_CLI_VALIDATE_ERROR = 5; // doc:CLI options validation error
 	public static final int EXIT_CONFIGURATION_ERROR = 6; // doc:configuration error
 	public static final int EXIT_FORMATTING_ERROR = 7; // doc:formatting error
+	public static final int EXIT_BATCH_ERROR = 8; // doc:batch error
 	private static final Logger log = Logger.getLogger(CLIStarter.class.getName());
 	private CLIOptions options;
 	private Configuration configuration;
@@ -102,7 +103,7 @@
 			exitCode = EXIT_FORMATTING_ERROR;
 		} catch (BatchException e) {
 			log.log(Level.SEVERE, "Batch problem", e);
-			exitCode = EXIT_FORMATTING_ERROR;
+			exitCode = EXIT_BATCH_ERROR;
 		}
 
 		System.exit(exitCode);