chg: type of port for mysql