Function make_time

sql/sql_time.cc:1032–1038

Convert TIME value to String. @param format Format (unused, see comments above) @param l_time TIME value @param OUT str String to conver to @param dec Number of fractional digits. */

  @param dec      Number of fractional digits.
*/
void make_time(const DATE_TIME_FORMAT *format __attribute__((unused)),
               const MYSQL_TIME *l_time, String *str, uint dec)
{
  uint length= (uint) my_time_to_str(l_time, (char*) str->ptr(), dec);
  str->length(length);
  str->set_charset(&my_charset_numeric);
}


/**