[tf-dis] Converting time?

[Colin M. <zix...@gm...>]

Not sure how to go about this; anyone know a quick way to convert the time
in idle('worldname') to HH:MM:SS?

For seconds, it returns SS:ms
3.673621

But when it gets up to minutes, it displays HH:MM:SS.ms

0:01:23.793138

Any way to make it only show HH:MM:SS with leading zeros and scrapping the
milliseconds?

00:01:23


Thanks. :)