Branch: refs/heads/10.0.x Home: https://github.com/Teiid-Designer/teiid-designer Commit: bfca1678e77feadcb267e5ac636da08c8a2cf509 https://github.com/Teiid-Designer/teiid-designer/commit/bfca1678e77feadcb... Author: blafond <blafond(a)redhat.com&gt; Date: 2016-09-15 (Thu, 15 Sep 2016) Changed paths: M plugins/org.teiid.designer.dqp.ui/src/org/teiid/designer/runtime/ui/server/editor/TeiidServerEditor.java M plugins/org.teiid.designer.dqp/src/org/teiid/designer/runtime/TeiidParentServerListener.java Log Message: ----------- TEIIDDES-2887 Added check in parent server listener to look for changes in management port. If changed, updating the Teiid admin info value and notifying TeiidServerEditor page to update it's admin port value. * So the port value in our editor will remain read-only, but reflect the server's actual value.