where to change the mysql port in appgini

[Time2Work]

Years ago appgini asked for the mysql port number at setup. I have searched the code but not in the right places.
I have searched the forums but can not find where the setting is for changing the default mysql port number.
Can someone direct me to where I can change that configuration setting?

Thank you for any help given,
D. Glenn

[Altrea]

All configurations are saved in the my.ini file.