python 如何转换毫秒时长的时间格式?

Question

用的第三方音频转成文字接口,获取到的结果的时间是用毫秒表示的"begin_time",比如下面这样

            {
                "res": ["嗯。"],
                "corpus_no": "6861127295004994871",
                "words_info": [],
                "sn": "134205712631597480684",
                "begin_time": 529720,
                "end_time": 532635
            }, {
                "res": ["我不知道。"],
                "corpus_no": "6861127295186145186",
                "words_info": [],
                "sn": "534667042421597480684",
                "begin_time": 569820,
                "end_time": 571155
            },

想把毫秒的时间转成人可以阅读的小时分钟时间,例如1:12:23这样的时间
(小时:分钟:秒)
,但是百度到的时间转换都是日期转换,请问大神应该如何转换这种时长呢?python这么发达不会要自己手写一个吧?

Answer 1

这样：

import time


end_time = 571155
time.strftime("%Y-%m-%d %H:%M:%S", time.localtime(end_time))