[flashproxy/master] Change defaultPort → port.