Changed port for server communication with Marvin's server

The port has been changed as per design.