Teiid-Designer/teiid-designer — pull request #266 by phantomjinx (2013-11-27 11:48:37+00:00)
Title: 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