Sometimes it's useful not to turn off automatic server launching (automatic server selection off and default server none), but then there is not way to launch a server in the current project.
It could be either 3 separate commands, one for each server, or one command and a dialog to choose one. It could also suggest the server depending on the project setup (as if automatic server selection was on).
Sometimes it's useful not to turn off automatic server launching (automatic server selection off and default server
none), but then there is not way to launch a server in the current project.It could be either 3 separate commands, one for each server, or one command and a dialog to choose one. It could also suggest the server depending on the project setup (as if automatic server selection was on).