private void discardBatch(CommandContext ctx, String holdbackBatch) {
BatchManager batchManager = ctx.getBatchManager();
batchManager.discardActiveBatch();
if (holdbackBatch != null) {
batchManager.activateHeldbackBatch(holdbackBatch);
}
}
private boolean isCliArchive(File f) {
if (f == null || !f.getName().endsWith(CLI_ARCHIVE_SUFFIX)) {