fixes #65 - When changing the port number server do not prompt for restart