Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Remove broken Server.ExternalPort setting. #15003
The IRC discussion around #14832 highlighted the fact that most people don't understand why we have/want separate port configurations. The lack of interest in #14869 supports the idea that its not worthwhile to maintain this separation. Removing the option then also simplifies the server creation UI a bit.