If the suggestion is that Flask should use a random other available port: that could be done, but generally people usually prefer to manually pick a different p

If the suggestion is that Flask should use a random other available port: that could be done, but generally people usually prefer to manually pick a different port themselves. Having a dev server come up on different ports all the time is not a great user experience.