[jbosstools-issues] [JBoss JIRA] (JBIDE-12572) Add server url to conntect-dialog

Add server url to conntect-dialog --------------------------------- Key: JBIDE-12572 URL: https://issues.jboss.org/browse/JBIDE-12572 Project: Tools (JBoss Tools) Issue Type: Sub-task Components: openshift Affects Versions: 3.3.0.Final Reporter: Andre Dietisheim Assignee: Andre Dietisheim Labels: new_and_noteworthy Fix For: 4.0.0.Beta1 Attachments: 2012-09-10 22.25.bmml, 2012-09-10 22.25.png, credentials-with-server.png 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