Fixed?

OPEN - task 5: Can't Change Server Port 
https://github.com/gpmidi/PyManageMC/issues/issue/5