From a11121de7dda8f87ef5399e43a91f40646e1e427 Mon Sep 17 00:00:00 2001
From: prandla <prandla@r9.pm>
Date: Sun, 15 Feb 2026 22:23:37 +0200
Subject: [PATCH] RWS: render negative times correctly

---
 cmsranking/static/TimeView.js | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/cmsranking/static/TimeView.js b/cmsranking/static/TimeView.js
index 69d3fa28a4..60d7797f18 100644
--- a/cmsranking/static/TimeView.js
+++ b/cmsranking/static/TimeView.js
@@ -16,13 +16,15 @@
  */
 
 function format_time(time, full) {
-    var h = Math.floor(time / 3600);
-    var m = Math.floor((time % 3600) / 60);
-    var s = Math.floor(time % 60);
+    var prefix = time < 0 ? "-" : "";
+    var abs_time = Math.abs(Math.floor(time));
+    var h = Math.floor(abs_time / 3600);
+    var m = Math.floor((abs_time % 3600) / 60);
+    var s = Math.floor(abs_time % 60);
     h = full && h < 10 ? "0" + h : "" + h;
     m = m < 10 ? "0" + m : "" + m;
     s = s < 10 ? "0" + s : "" + s;
-    return (h + ":" + m + ":" + s);
+    return (prefix + h + ":" + m + ":" + s);
 };
 
 function _get_time() {
@@ -142,10 +144,7 @@ var TimeView = new function () {
             }
         }
 
-        var time_str = format_time(Math.abs(Math.floor(time)), full_time);
-        if (time < 0) {
-            time_str = '-' + time_str;
-        }
+        var time_str = format_time(time, full_time);
 
         $("#TimeView_time").text(time_str);
     };