-
Sub-task
-
Resolution: Done
-
Major
-
3.3.0.Final
-
-
Not Required
Since there are now different servers available to connect to (liveCD, local install via rpm, PROD, INT, STG etc.), we have to allow the user to define what server he wants to connect to.
We provide a "use default server" checkbox and use the default server if checked. The server combo is disabled if the checkbox is checked.The default server is either (sorted priority wise):
1. default server for this workspace (preferences, see JBIDE-12571)
2. server defined in express.conf
3. openshift.redhat.com