From 8aad412c9ecf30323f77a8cda4fa25392c8d2b7b Mon Sep 17 00:00:00 2001
From: Reinhard Hillefeld <reinhard@hillefeld.com>
Date: Fri, 14 Aug 2020 16:23:25 -0400
Subject: [PATCH] Added zero-padding to timestamp output

---
 src/jsTyping/shared.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jsTyping/shared.ts b/src/jsTyping/shared.ts
index ce6004f251d..a8ca30961b9 100644
--- a/src/jsTyping/shared.ts
+++ b/src/jsTyping/shared.ts
@@ -57,6 +57,6 @@ namespace ts.server {
     export function nowString() {
         // E.g. "12:34:56.789"
         const d = new Date();
-        return `${d.getHours()}:${d.getMinutes()}:${d.getSeconds()}.${d.getMilliseconds()}`;
+        return `${("00" + d.getHours()).slice(-2)}:${("00" + d.getMinutes()).slice(-2)}:${("00" + d.getSeconds()).slice(-2)}.${("000" + d.getMilliseconds()).slice(-3)}`;
     }
 }