From e343e73d3301c35d2738f0973cf5d970ad8e6203 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Per=20Nordl=C3=B6w?= Date: Sun, 10 Oct 2021 12:32:55 +0200 Subject: [PATCH] Use more adaptive time formatting because many requests finish in 0 milliseconds --- src/dcd/server/main.d | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/dcd/server/main.d b/src/dcd/server/main.d index 57733b5..ed31645 100644 --- a/src/dcd/server/main.d +++ b/src/dcd/server/main.d @@ -185,7 +185,7 @@ int runServer(string[] args) sw.stop(); info(cache.symbolsAllocated, " symbols cached."); - info("Startup completed in ", sw.peek().total!"msecs"(), " milliseconds."); + info("Startup completed in ", sw.peek); // No relative paths version (Posix) chdir("/"); @@ -310,7 +310,7 @@ int runServer(string[] args) } sw.stop(); - info("Request processed in ", sw.peek().total!"msecs"(), " milliseconds"); + info("Request processed in ", sw.peek); } return 0; }