Я получаю метку времени с сервера, подобного этому 1512543958, и когда я отправляю обратные запросы в заголовках, я вижу 13-значную метку времени по Гринвичу, подобную этой 1512544485819.
Изменив время на местное с помощью приведенного ниже кода, я получаю 2017-12-06 12:35:58
print(datetime.datetime.fromtimestamp(int("1512544474")).strftime('%Y-%m-%d %H:%M:%S')
и когда я применяю приведенный ниже код, я получаю 'Среда, 06 декабря 2017 г., 07:14:45 по Гринвичу'
time.strftime("%a %d %b %Y %H:%M:%S GMT", time.gmtime(1512544485819 / 1000.0))
Итак, в основном мне нужна функция python, которая принимает 10-значную временную метку даты в качестве аргумента и возвращает 13-значную временную метку даты по Гринвичу.
пример ввода 1512544474
ожидаемый вывод 1512544485819