times.py 文件源码

def format_time(time):
    """
    Format time from integer milliseconds to string format that could be displayed to the end-user.

    :param time: Integer time in milliseconds.
    :type time: int
    :return: String output
    :rtype: str
    """
    hours = math.floor((time / 1000 / 60 / 60))
    minutes = math.floor((time - (hours * 60 * 60 * 1000)) / 1000 / 60)
    seconds = math.floor((time - (hours * 60 * 60 * 1000) - (minutes * 60 * 1000)) / 1000)
    millis = (time - (hours * 60 * 60 * 1000) - (minutes * 60 * 1000) - (seconds * 1000))

    formatted_time = ''
    if hours > 0:
        formatted_time += '{:02d}:{:02d}:'.format(hours, minutes)
    else:
        formatted_time += '{}:'.format(str(minutes))
    return formatted_time + '{:02d}.{:03d}'.format(seconds, millis)