From c3bcf8e3372886cfd9ec49e233b573df8a657602 Mon Sep 17 00:00:00 2001
From: klugier <klugier@f0d560ea-af0d-0410-9eb7-867de7ffcac7>
Date: Mon, 25 Dec 2017 22:14:30 +0000
Subject: [PATCH] Ide: Logger now display time with miliseconds.

git-svn-id: svn://ultimatepp.org/upp/trunk@11623 f0d560ea-af0d-0410-9eb7-867de7ffcac7
---
 uppsrc/ide/Core/Logger.cpp | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

diff --git a/uppsrc/ide/Core/Logger.cpp b/uppsrc/ide/Core/Logger.cpp
index 91e0e24d9..afe9b639f 100644
--- a/uppsrc/ide/Core/Logger.cpp
+++ b/uppsrc/ide/Core/Logger.cpp
@@ -1,5 +1,7 @@
 #include "Logger.h"
 
+#include <chrono>
+
 using namespace Upp;
 
 Logger::Logger(LoggingLevel level, const String& tag)
@@ -34,8 +36,18 @@ void Logger::Log()
 
 String Logger::GetCurrentTime()
 {
-	Time tm = GetSysTime();
-	return Format("%02d:%02d:%02d", (int)tm.hour, (int)tm.minute, (int)tm.second);
+	using namespace std::chrono;
+	using days = duration<int, std::ratio_multiply<hours::period, std::ratio<24>>::type>;
+	
+	auto tp = system_clock::now().time_since_epoch();
+	
+	auto d  = duration_cast<days>(tp);    tp -= d;
+	auto h  = duration_cast<hours>(tp);   tp -= h;
+	auto m  = duration_cast<minutes>(tp); tp -= m;
+	auto s  = duration_cast<seconds>(tp); tp -= s;
+	auto ms = duration_cast<milliseconds>(tp);
+	
+	return Format("%02d:%02d:%02d:%03d", (int)h.count(), (int)m.count(), (int)s.count(), (int)ms.count());
 }
 
 Stream& Upp::operator<<(Stream& s, Logger::LoggingLevel level)