Stop using addline without timestamp.

logging/plugin.config

@@ -37,7 +37,6 @@ defaults:
   general.networkfolders=true
   advanced.filenamehash=false
   general.addtime=true
-  general.timestamp=[dd/MM/yyyy HH:mm:ss]
   general.stripcodes=true
   general.channelmodeprefix=true
   backbuffer.autobackbuffer=true

logging/src/com/dmdirc/addons/logging/HistoryWindow.java

@@ -31,9 +31,14 @@ import com.dmdirc.ui.core.components.WindowComponent;
 import com.dmdirc.ui.messages.BackBufferFactory;
 import com.dmdirc.util.io.ReverseFileReader;
 
+import com.google.common.annotations.VisibleForTesting;
+
 import java.io.IOException;
 import java.nio.file.Path;
+import java.text.ParsePosition;
+import java.text.SimpleDateFormat;
 import java.util.Collections;
+import java.util.Date;
 import java.util.Optional;
 
 /**
@@ -41,6 +46,10 @@ import java.util.Optional;
  */
 public class HistoryWindow extends FrameContainer {
 
+    private final Path logFile;
+    private final DMDircMBassador eventBus;
+    private final int numLines;
+
     /**
      * Creates a new HistoryWindow.
      */
@@ -54,17 +63,12 @@ public class HistoryWindow extends FrameContainer {
         super(parent, "raw", title, title, parent.getConfigManager(), backBufferFactory,
                 eventBus,
                 Collections.singletonList(WindowComponent.TEXTAREA.getIdentifier()));
+        this.logFile = logFile;
+        this.eventBus = eventBus;
+        this.numLines = numLines;
 
         initBackBuffer();
-        final int frameBufferSize = parent.getConfigManager().getOptionInt(
-                "ui", "frameBufferSize");
-        try (final ReverseFileReader reader = new ReverseFileReader(logFile)) {
-            addLine(reader.getLinesAsString(Math.min(frameBufferSize, numLines)), false);
-        } catch (IOException | SecurityException ex) {
-            eventBus.publishAsync(
-                    new UserErrorEvent(ErrorLevel.MEDIUM, ex, "Unable to read log file.", ""));
-        }
-
+        outputLoggingBackBuffer(parent.getConfigManager().getOptionInt("ui", "frameBufferSize"));
     }
 
     @Override
@@ -72,4 +76,20 @@ public class HistoryWindow extends FrameContainer {
         return getParent().flatMap(FrameContainer::getConnection);
     }
 
+    @VisibleForTesting
+    void outputLoggingBackBuffer(final int limit) {
+        try (final ReverseFileReader reader = new ReverseFileReader(logFile)) {
+            final Iterable<String> lines = reader.getLines(Math.min(limit, numLines));
+            lines.forEach(l -> {
+                final ParsePosition pos = new ParsePosition(0);
+                final Date date = new SimpleDateFormat("[dd/MM/yyyy HH:mm:ss]").parse(l, pos);
+                final String text = l.substring(pos.getIndex()+1);
+                addLine(text, date);
+            });
+        } catch (IOException | SecurityException ex) {
+            eventBus.publishAsync(
+                    new UserErrorEvent(ErrorLevel.MEDIUM, ex, "Unable to read log file.", ""));
+        }
+    }
+
 }

logging/src/com/dmdirc/addons/logging/LoggingManager.java

@@ -102,6 +102,7 @@ public class LoggingManager implements ConfigChangeListener {
             "EEEE MMMM dd, yyyy - HH:mm:ss");
     /** Object for synchronising access to the date forma.t */
     private static final Object FORMAT_LOCK = new Object();
+    private static final String timestamp = "[dd/MM/yyyy HH:mm:ss]";
     /** This plugin's plugin info. */
     private final String domain;
     private final PluginInfo pluginInfo;
@@ -124,8 +125,6 @@ public class LoggingManager implements ConfigChangeListener {
     private boolean channelmodeprefix;
     private boolean autobackbuffer;
     private boolean backbufferTimestamp;
-    /** Cached string settings. */
-    private String timestamp;
     private String colour;
     /** Cached int settings. */
     private int historyLines;
@@ -489,20 +488,8 @@ public class LoggingManager implements ConfigChangeListener {
         final StringBuilder finalLine = new StringBuilder();
 
         if (addtime) {
-            String dateString;
-            try {
-                final DateFormat dateFormat = new SimpleDateFormat(timestamp);
-                dateString = dateFormat.format(new Date()).trim();
-            } catch (IllegalArgumentException iae) {
-                // Default to known good format
-                final DateFormat dateFormat = new SimpleDateFormat("[dd/MM/yyyy HH:mm:ss]");
-                dateString = dateFormat.format(new Date()).trim();
-
-                eventBus.publishAsync(new UserErrorEvent(ErrorLevel.LOW, iae,
-                        "Dateformat String '" + timestamp + "' is invalid. For more information: "
-                        + "http://java.sun.com/javase/6/docs/api/java/text/SimpleDateFormat.html",
-                        ""));
-            }
+            final DateFormat dateFormat = new SimpleDateFormat(timestamp);
+            final String dateString = dateFormat.format(new Date()).trim();
             finalLine.append(dateString);
             finalLine.append(' ');
         }
@@ -608,7 +595,6 @@ public class LoggingManager implements ConfigChangeListener {
         channelmodeprefix = config.getOptionBool(domain, "general.channelmodeprefix");
         autobackbuffer = config.getOptionBool(domain, "backbuffer.autobackbuffer");
         backbufferTimestamp = config.getOptionBool(domain, "backbuffer.timestamp");
-        timestamp = config.getOption(domain, "general.timestamp");
         historyLines = config.getOptionInt(domain, "history.lines");
         colour = config.getOption(domain, "backbuffer.colour");
         backbufferLines = config.getOptionInt(domain, "backbuffer.lines");
@@ -638,10 +624,6 @@ public class LoggingManager implements ConfigChangeListener {
                 pluginInfo.getDomain(), "general.addtime", "Timestamp logs",
                 "Should a timestamp be added to the log files?",
                 manager.getConfigManager(), manager.getIdentity()));
-        general.addSetting(new PreferencesSetting(PreferencesType.TEXT,
-                pluginInfo.getDomain(), "general.timestamp", "Timestamp format",
-                "The String to pass to 'SimpleDateFormat' to format the timestamp",
-                manager.getConfigManager(), manager.getIdentity()));
         general.addSetting(new PreferencesSetting(PreferencesType.BOOLEAN,
                 pluginInfo.getDomain(), "general.stripcodes", "Strip Control Codes",
                 "Remove known irc control codes from lines before saving?",

parserdebug/src/com/dmdirc/addons/parserdebug/DebugWindow.java

@@ -31,6 +31,7 @@ import com.dmdirc.ui.core.components.WindowComponent;
 import com.dmdirc.ui.messages.BackBufferFactory;
 
 import java.util.Arrays;
+import java.util.Date;
 import java.util.Optional;
 
 /**
@@ -73,8 +74,8 @@ public class DebugWindow extends FrameContainer {
      * Set the parser to null to stop us holding onto parsers when the server connection is closed.
      */
     public void unsetParser() {
-        addLine("======================", true);
-        addLine("Unset parser: " + parser, true);
+        addLine("======================", new Date());
+        addLine("Unset parser: " + parser, new Date());
         parser = null;
     }
 

parserdebug/src/com/dmdirc/addons/parserdebug/ParserDebugManager.java

@@ -102,9 +102,9 @@ public class ParserDebugManager implements DebugInfoListener {
                     connection, eventBus, backBufferFactory);
             windowManager.addWindow(connection.getWindowModel(), window);
             registeredParsers.put(parser, window);
-            window.addLine("======================", true);
-            window.addLine("Started Monitoring: " + parser, true);
-            window.addLine("======================", true);
+            window.addLine("======================", new Date());
+            window.addLine("Started Monitoring: " + parser, new Date());
+            window.addLine("======================", new Date());
             return true;
         } catch (CallbackNotFoundException ex) {
             return false;
@@ -123,9 +123,9 @@ public class ParserDebugManager implements DebugInfoListener {
         try {
             parser.getCallbackManager().delCallback(DebugInfoListener.class, this);
             final DebugWindow window = registeredParsers.get(parser);
-            window.addLine("======================", true);
-            window.addLine("No Longer Monitoring: " + parser + " (User Requested)", true);
-            window.addLine("======================", true);
+            window.addLine("======================", new Date());
+            window.addLine("No Longer Monitoring: " + parser + " (User Requested)", new Date());
+            window.addLine("======================", new Date());
             if (close) {
                 window.close();
             }
@@ -159,7 +159,7 @@ public class ParserDebugManager implements DebugInfoListener {
     public void onDebugInfo(final Parser parser, final Date date, final int level, final String data) {
         final DebugWindow window = registeredParsers.get(parser);
         if (window != null) {
-            window.addLine(String.format("[%d] %s%n", level, data), true);
+            window.addLine(String.format("[%d] %s%n", level, data), new Date());
         }
     }