From e0f901e96820aa2b08137215a9fb44d1888c2d2c Mon Sep 17 00:00:00 2001
From: Jon Ziebell <ziebelje@gmail.com>
Date: Sun, 15 Mar 2020 21:06:19 -0400
Subject: [PATCH] Fixed API log time

---
 api/cora/request.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/api/cora/request.php b/api/cora/request.php
index f28843c..5737b47 100644
--- a/api/cora/request.php
+++ b/api/cora/request.php
@@ -571,7 +571,7 @@ final class request {
     // a new shutdown handler and no output will be sent to the client. I just
     // have to handle all problems manually.
     try {
-      $this->total_time = round((microtime(true) - $this->begin_timestamp));
+      $this->total_time = (microtime(true) - $this->begin_timestamp);
 
       // Fix the current working directory. See documentation on this class
       // variable for details.