def elapsed_time_to_string(elapsed, include_millis=True):
 prefix = ''
 if (elapsed < 0):
  prefix = '-'
  elapsed = abs(elapsed)
 if include_millis:
  return (prefix + _elapsed_time_to_string(elapsed))
 return (prefix + _elapsed_time_to_string_without_millis(elapsed))

def elapsed_time_to_string ( elapsed , include_millis = True ) : prefix = '' if ( elapsed < 0 ) : prefix = '-' elapsed = abs ( elapsed ) if include_millis : return ( prefix + _elapsed_time_to_string ( elapsed ) ) return ( prefix + _elapsed_time_to_string_without_millis ( elapsed ) )
converts elapsed time in milliseconds to format hh:mm:ss .