String
string.format_time
Shared
Formats milliseconds into HH:MM:SS time format
Syntax
local result = string.format_time(milliseconds)Parameters
| Type | Name | Description |
|---|---|---|
int | milliseconds | Time in milliseconds |
Returns
| Type | Name | Description |
|---|---|---|
string | result | Formatted string in HH:MM:SS format |
Examples
local time = string.format_time(3600000)
engine.print("info", time) --'01:00:00'local time = string.format_time(90000)
engine.print("info", time) --'00:01:30'local time = string.format_time(30000)
engine.print("info", time) --'00:00:30'