python将10位数字的datetimestamp转换为13位的GMT时间戳

Question

[我从服务器收到这样的时间戳，例如1512543958，并且当我在标头中发送回请求时，我看到这样的15位数GMT时间戳，例如1512544485819

通过使用下面的代码将时间更改为本地时间，我得到了2017-12-06 12:35:58

print(datetime.datetime.fromtimestamp(int("1512544474")).strftime('%Y-%m-%d %H:%M:%S')

&&当我应用下面的代码时，我得到'Wed 06 Dec 2017 07:14:45 GMT'

time.strftime("%a %d %b %Y %H:%M:%S GMT", time.gmtime(1512544485819 / 1000.0))

所以基本上我需要一个以10位日期时间戳为参数并返回13位GMT日期时间戳的python函数

示例输入1512544474预期输出1512544485819

Answer 1