diff options
-rw-r--r-- | main.js | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -40,6 +40,11 @@ function time_format(t) ret += m + ":" + (s < 10 ? "0" : ""); ret += s; + /* Milliseconds */ + const st = t.toString(); + if (!isNaN(t) && st.indexOf(".") != -1) + ret += "." + st.split(".")[1]; + return ret; } |