def FormatISOTime(t):
  return time.strftime("%Y-%m-%d %H:%M:%S", time.gmtime(t / 1e6))
Format a time in epoch notation to ISO UTC.
dataset/ETHPy150Open google/grr/grr/lib/console_utils.py/FormatISOTime