Branch: refs/heads/master Home: https://github.com/Teiid-Designer/teiid-designer Commit: 438d655167096d7825a7dc5986782a4e78142d41 https://github.com/Teiid-Designer/teiid-designer/commit/438d655167096d782... Author: Paul Richardson <p.g.richardson(a)redhat.com&gt; Date: 2013-11-27 (Wed, 27 Nov 2013) Changed paths: M plugins/org.teiid.designer.dqp.ui/src/org/teiid/designer/runtime/ui/i18n.properties M plugins/org.teiid.designer.dqp.ui/src/org/teiid/designer/runtime/ui/server/SetDefaultServerAction.java Log Message: ----------- TEIIDDES-1935: Tidy up paths through setting the default server * If the server selected is the same as the current then a more appropriate message is displayed rather than implying a change has been made * If there is only 1 server then the user had no recourse to modify it and as such an appropriate message should be displayed * If there are multiple servers then the user actively selected the same server and as such no change should be displayed Commit: c1d6fdc425bf4a668cd86ee173e6c654032ec4a7 https://github.com/Teiid-Designer/teiid-designer/commit/c1d6fdc425bf4a668... Author: Barry LaFond <blafond(a)redhat.com&gt; Date: 2013-11-27 (Wed, 27 Nov 2013) Changed paths: M plugins/org.teiid.designer.dqp.ui/src/org/teiid/designer/runtime/ui/i18n.properties M plugins/org.teiid.designer.dqp.ui/src/org/teiid/designer/runtime/ui/server/SetDefaultServerAction.java Log Message: ----------- Merge pull request #266 from phantomjinx/master TEIIDDES-1935: Tidy up paths through setting the default server Compare: https://github.com/Teiid-Designer/teiid-designer/compare/1fed70ca91c1...c...