Modified server prot

Changed server port from 12345 to 25252. 12345 was already being used by
another service.
98bafc9a291a94c3c5a0d96094afc79f638f1f75 reportedly made this change,
but the port change was not committed.