Convert Fixnum into String the port number in MySQL