funcion mysql para convertir un numero entero milisegundo a formato TIME(2)

[micheldefrancisco]

aqui les dejo la respuesta, yo mismo me respondi:
soy mas programador plsql, pero no se si en mysql exista una funcion que realice esta operacion, por lo tanto decidi hacer una funcion en mysql que me genere a partir de un valor numerico (milisegundo) un tipo de dato con formato TIME(2):

Si alguien tiene una mejor solucion, que la comparta por favor:

DELIMITER $$

CREATE FUNCTION `mydb`.`conversor_second` (p_milisecond int)

RETURNS varchar(50)

BEGIN

declare hr int(2) zerofill ;
declare min int(2) zerofill ;
declare sec int(2) zerofill ;
declare seg_ini int;
declare milisecond int;

set seg_ini = floor(p_milisecond/1000);

set hr = floor(seg_ini/3600);
set min = floor((seg_ini-(hr*3600))/60);
set sec = seg_ini-(hr*3600)-(min*60);

set milisecond = LEFT((p_milisecond/1000 MOD 1) * POW(10, (LENGTH(p_milisecond/1000 MOD 1)-2)),2);


RETURN CONCAT(hr,':',min,':',sec,'.',milisecond);

END

Hacemos la prueba:

select conversor_second(25698) AS 'Formato Time(2)';

Affichage:

00:00:25.69


Buenos dias...