From 9b255ac072c137c943ced8c907a58523dc35bab5 Mon Sep 17 00:00:00 2001
From: jbicker <jan.bicker@typefox.io>
Date: Thu, 15 Aug 2019 17:22:43 +0200
Subject: [PATCH] Timestamp formatted

Signed-off-by: jbicker <jan.bicker@typefox.io>
---
 .../src/browser/monitor/monitor-widget.tsx                  | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/arduino-ide-extension/src/browser/monitor/monitor-widget.tsx b/arduino-ide-extension/src/browser/monitor/monitor-widget.tsx
index cf5329b2..501c7ee8 100644
--- a/arduino-ide-extension/src/browser/monitor/monitor-widget.tsx
+++ b/arduino-ide-extension/src/browser/monitor/monitor-widget.tsx
@@ -143,7 +143,11 @@ export class MonitorWidget extends ReactWidget {
             if (this.tempData.endsWith('\n')) {
                 if (this.model.timestamp) {
                     const nu = new Date();
-                    this.tempData = `${nu.getHours()}:${nu.getMinutes()}:${nu.getSeconds()}.${nu.getMilliseconds()} -> ` + this.tempData;
+                    const h = (100 + nu.getHours()).toString().substr(1)
+                    const min = (100 + nu.getMinutes()).toString().substr(1)
+                    const sec = (100 + nu.getSeconds()).toString().substr(1)
+                    const ms = (1000 + nu.getMilliseconds()).toString().substr(1);
+                    this.tempData = `${h}:${min}:${sec}.${ms} -> ` + this.tempData;
                 }
                 this.lines.push(this.tempData);
                 this.tempData = '';