From fe683b2430e00bbed130b8c80451057ebcad3c5e Mon Sep 17 00:00:00 2001
From: Andygrond <grond@vp.pl>
Date: Tue, 30 Jan 2024 15:04:25 +0100
Subject: [PATCH] execution time ms bug

---
 lib/JsonLogger.php | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/lib/JsonLogger.php b/lib/JsonLogger.php
index 49cdc1e..fa0d470 100644
--- a/lib/JsonLogger.php
+++ b/lib/JsonLogger.php
@@ -162,8 +162,10 @@ public function serverInfo(): array
   // get ISO request time
   protected function time(): string
   {
-    [$sec, $msec] = explode('.', $_SERVER["REQUEST_TIME_FLOAT"]);
-    return date('Y-m-d\TH:i:s.', $sec) .$msec;
+    $tfloat = $_SERVER["REQUEST_TIME_FLOAT"];
+    $sec = floor($tfloat);
+    $msec = (string) round($tfloat - $sec, 3);
+    return date('Y-m-d\TH:i:s.', $sec) .substr($msec, 2);
   }
 
   // get general agent info