Change server port to 12345