Wed, 08 Jan 2014 19:59:19 +0100 František Kučera Batch error – proper exit code: EXIT_BATCH_ERROR = 8 v_0