name = name.substring(name.lastIndexOf(".") + 1);
// Use a string buffer for better performance
- StringBuffer buf = new StringBuffer();
+ StringBuilder buf = new StringBuilder();
buf.append(time);
buf.append(" ");
@Override
public String format(LogRecord record) {
- StringBuffer sb = new StringBuffer();
+ StringBuilder sb = new StringBuilder();
// Timestamp
addTimestamp(sb, new Date(record.getMillis()));
return sb.toString();
}
- public void addTimestamp(StringBuffer buf, Date date) {
+ public void addTimestamp(StringBuilder buf, Date date) {
if (currentDate != date) {
synchronized (this) {
if (currentDate != date) {
- StringBuffer current = new StringBuffer(32);
+ StringBuilder current = new StringBuilder(32);
current.append(dayFormatter.format(date)); // Day
current.append('-');
current.append(lookup(monthFormatter.format(date))); // Month