Branch: refs/heads/master Home: https://github.com/Teiid-Designer/teiid-designer Commit: 3e80ceff269d81c427533d94cbeb9c694b57f1bf https://github.com/Teiid-Designer/teiid-designer/commit/3e80ceff269d81c42... Author: blafond <blafond(a)redhat.com&gt; Date: 2018-11-15 (Thu, 15 Nov 2018) Changed paths: M plugins/org.teiid.designer.extension.ui/src/org/teiid/designer/extension/ui/editors/OverviewEditorPage.java M plugins/org.teiid.designer.extension.ui/src/org/teiid/designer/extension/ui/server/TeiidInstanceMedListener.java Log Message: ----------- TEIIDDES-3181 * added missing validation for namespace URI to properly catch/set error message * removed errant System print in TeiidInstanceMedListener **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019.