📅  最后修改于: 2022-03-11 14:57:15.395000             🧑  作者: Mango
function convert_to_time(tenths)
local hh = (tenths // (60 * 60 * 10)) % 24
local mm = (tenths // (60 * 10)) % 60
local ss = (tenths // 10) % 60
local t = tenths % 10
return string.format("%02d:%02d:%02d.%01d", hh, mm, ss, t)
end