def format_time(time):
    """ Formats the given time into HH:MM:SS. """
    hours, remainder = divmod(time / 1000, 3600)
    minutes, seconds = divmod(remainder, 60)

    return '%02d:%02d:%02d' % (hours, minutes, seconds)
def format_time(time):
    """ Formats the given time into HH:MM:SS. """
    hours, remainder = divmod(time / 1000, 3600)
    minutes, seconds = divmod(remainder, 60)

    return '%02d:%02d:%02d' % (hours, minutes, seconds)
def format_time ( time ) : hours , remainder = divmod ( time / 1000 , 3600 ) minutes , seconds = divmod ( remainder , 60 ) return '%02d:%02d:%02d' % ( hours , minutes , seconds )
Formats the given time into HH:MM:SS.
Formats the given time into HH : MM : SS .