/** * Write a msg with the date stamp of the last duplicate * @since 0.9.21 */ private void writeDupMessage(int dupCount, LogRecord lastRecord) { String dmsg = dupMessage(dupCount, lastRecord, false); writeRecord(lastRecord.getPriority(), dmsg); if (_manager.getDisplayOnScreenLevel() <= lastRecord.getPriority() && _manager.displayOnScreen()) System.out.print(dmsg); dmsg = dupMessage(dupCount, lastRecord, true); _manager.getBuffer().add(dmsg); if (lastRecord.getPriority() >= Log.CRIT) _manager.getBuffer().addCritical(dmsg); }
private void writeRecord(LogRecord rec) { String val = LogRecordFormatter.formatRecord(_manager, rec, true); writeRecord(rec, val); // we always add to the console buffer, but only sometimes write to stdout _manager.getBuffer().add(val); if (rec.getPriority() >= Log.CRIT) _manager.getBuffer().addCritical(val); if (_manager.getDisplayOnScreenLevel() <= rec.getPriority()) { if (_manager.displayOnScreen()) { // wrapper and android logs already do time stamps, so reformat without the date if (_manager.getContext().hasWrapper() || SystemVersion.isAndroid()) System.out.print(LogRecordFormatter.formatRecord(_manager, rec, false)); else System.out.print(val); } } } }