219220221222223224225226227228229
LoggerPrintStream out = new LoggerPrintStream(logger, Level.INFO); synchronized (tasks) { for (Task task : tasks) { i++; final int size = tasks.size(); out.format("\t[%d/%d] ", i, size); task.print(ts, out); out.flush(); } } }