Fix: hour display format

This commit is contained in:
Laurent Clouet
2019-07-18 16:55:22 +02:00
committed by GitHub
parent 5d135f1681
commit f897f5937a

View File

@@ -39,7 +39,7 @@ public class Log {
this.printStdOut = print_; this.printStdOut = print_;
this.lastCheckPoint = 0; this.lastCheckPoint = 0;
this.checkpoints.put(this.lastCheckPoint, new ArrayList<String>()); this.checkpoints.put(this.lastCheckPoint, new ArrayList<String>());
this.dateFormat = new SimpleDateFormat("dd-MM kk:mm:ss"); this.dateFormat = new SimpleDateFormat("dd-MM HH:mm:ss");
} }
public void debug(String msg_) { public void debug(String msg_) {