1.1 --- a/java/sql-dk/src/info/globalcode/sql/dk/CLIStarter.java	Wed Jan 08 19:35:20 2014 +0100
     1.2 +++ b/java/sql-dk/src/info/globalcode/sql/dk/CLIStarter.java	Wed Jan 08 19:59:19 2014 +0100
     1.3 @@ -58,6 +58,7 @@
     1.4  	public static final int EXIT_CLI_VALIDATE_ERROR = 5; // doc:CLI options validation error
     1.5  	public static final int EXIT_CONFIGURATION_ERROR = 6; // doc:configuration error
     1.6  	public static final int EXIT_FORMATTING_ERROR = 7; // doc:formatting error
     1.7 +	public static final int EXIT_BATCH_ERROR = 8; // doc:batch error
     1.8  	private static final Logger log = Logger.getLogger(CLIStarter.class.getName());
     1.9  	private CLIOptions options;
    1.10  	private Configuration configuration;
    1.11 @@ -102,7 +103,7 @@
    1.12  			exitCode = EXIT_FORMATTING_ERROR;
    1.13  		} catch (BatchException e) {
    1.14  			log.log(Level.SEVERE, "Batch problem", e);
    1.15 -			exitCode = EXIT_FORMATTING_ERROR;
    1.16 +			exitCode = EXIT_BATCH_ERROR;
    1.17  		}
    1.18  
    1.19  		System.exit(exitCode);