用Python将时间戳，转换成日期

将txt文件中所有的时间戳，转换成日期：

import time
import codecs

path = codecs.open(“time.txt”,“r”,“utf-8”)
for line in path:
line = int(line)
timeStamp = float(line/1000)
timeArray = time.localtime(timeStamp)
otherStyleTime = time.strftime("%Y–%m–%d %H:%M:%S",timeArray)
print(otherStyleTime)