[teiid-designer-dev] [Teiid-Designer/teiid-designer] 3430d8: TEIIDDES-2235 setting JNDI name in profile propert...

Branch: refs/heads/master Home: https://github.com/Teiid-Designer/teiid-designer Commit: 3430d8aa6fa8b8ea467d74f4459869caff8227f8 https://github.com/Teiid-Designer/teiid-designer/commit/3430d8aa6fa8b8ea4... Author: blafond <blafond(a)redhat.com&gt; Date: 2014-07-07 (Mon, 07 Jul 2014) Changed paths: M plugins/org.teiid.designer.teiidimporter.ui/src/org/teiid/designer/teiidimporter/ui/wizard/TeiidImportManager.java Log Message: ----------- TEIIDDES-2235 setting JNDI name in profile properties to JNDI name instead of pool/DS name