From 03322ea1431f63ddccf0a6ddcbfb28f573b622f5 Mon Sep 17 00:00:00 2001
From: glax <johanna@bernloehr.eu>
Date: Sat, 1 Apr 2023 18:08:31 +0200
Subject: [PATCH] Console time formatting

---
 Server/ConsoleWriter.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Server/ConsoleWriter.cs b/Server/ConsoleWriter.cs
index 8fc69db..0c1be48 100644
--- a/Server/ConsoleWriter.cs
+++ b/Server/ConsoleWriter.cs
@@ -28,7 +28,7 @@ public class ConsoleWriter : TextWriter
     public override void WriteLine(string? text)
     {
         DateTime now = DateTime.Now;
-        string dateTimeString = $"[{now.ToUniversalTime():u} ({Math.Floor((now - execStart).TotalMilliseconds):####00000})]";
+        string dateTimeString = $"[{now.ToUniversalTime():u} ({Math.Floor((now - execStart).TotalMilliseconds):###,###,###})]";
         if(text is not null)
             OnWriteLine?.Invoke(this, new ConsoleWriterEventArgs($"{dateTimeString} {text}"));
         stdOut.WriteLine($"{dateTimeString} {text}");