From 0f221c930368572239ef652c9c9ff29918f789e1 Mon Sep 17 00:00:00 2001
From: Grisu <grisu_steam@gmx.de>
Date: Tue, 21 Jun 2022 23:40:10 +0200
Subject: [PATCH] fixed time encoding

---
 app/public/add_entry.php       | 13 +++++++++++--
 app/public/edit_statistics.php | 13 ++++++++++---
 2 files changed, 21 insertions(+), 5 deletions(-)

diff --git a/app/public/add_entry.php b/app/public/add_entry.php
index c3028fe..bc6517d 100644
--- a/app/public/add_entry.php
+++ b/app/public/add_entry.php
@@ -14,9 +14,18 @@
 
         if($minutes == 0 && $seconds == 0 && $miliseconds == 0){
             $time = null;
-        } else if ($miliseconds < 10) {
-            $time = "00:" . $minutes . ":" . $seconds . ".0" . $miliseconds;
         } else {
+            if ($minutes < 10) {
+                $minutes = "0" . $minutes;
+            }
+
+            if ($seconds < 10) {
+                $seconds = "0" . $seconds;
+            }
+
+            if ($miliseconds < 10) {
+                $miliseconds = "0" . $miliseconds;
+            }
             $time = "00:" . $minutes . ":" . $seconds . "." . $miliseconds;
         }
         write_points($con, $s_id, $m_id, $points, $time);
diff --git a/app/public/edit_statistics.php b/app/public/edit_statistics.php
index e4eb4f0..44252cb 100644
--- a/app/public/edit_statistics.php
+++ b/app/public/edit_statistics.php
@@ -22,10 +22,17 @@
 
         if (get_minutes($con, $m_id, $s_id)->fetch()['minutes'] != $minutes || get_seconds($con, $m_id, $s_id)->fetch()['seconds'] != $seconds || get_millis($con, $m_id, $s_id)->fetch()['millis'] != $millis) {
             if ($millis < 10) {
-                $time = "00:" . $minutes . ":" . $seconds . "." . "0" . $millis;
-            } else {
-                $time = "00:" . $minutes . ":" . $seconds . "." . $millis;
+                $millis = "0" . $millis;
             }
+
+            if ($minutes < 10) {
+                $minutes = "0" . $minutes;
+            }
+
+            if ($seconds < 10) {
+                $seconds = "0" . $seconds;
+            }
+            $time = "00:" . $minutes . ":" . $seconds . "." . $millis;
             change_time($con, $m_id, $s_id, $time);
         }