update port number for dartling mysql server