# HG changeset patch
# User František Kučera <franta-hg@frantovo.cz>
# Date 1389207559 -3600
# Node ID 6a6f7b3845914413db8c1ca56edfe6ffb74a1999
# Parent  1b2f40cd432b4961d0b06caf3d483b429e091206
Batch error – proper exit code: EXIT_BATCH_ERROR = 8

diff -r 1b2f40cd432b -r 6a6f7b384591 java/sql-dk/src/info/globalcode/sql/dk/CLIStarter.java
--- 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);