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
--Format 1 hour
local time = string.format_time(3600000)
engine.print(time) --01:00:00--Format 1 minute 30 seconds
local time = string.format_time(90000)
engine.print(time) --00:01:30--Format 30 seconds
local time = string.format_time(30000)
engine.print(time) --00:00:30