[teiid-designer-dev] [Teiid-Designer/teiid-designer] 1fce22: TEIIDDES-2235 setting JNDI name in profile propert...
Branch: refs/heads/8.5.x
Home: https://github.com/Teiid-Designer/teiid-designer
Commit: 1fce2268b64ce299c4db5aabe4c4528bc53b5c50
https://github.com/Teiid-Designer/teiid-designer/commit/1fce2268b64ce299c...
Author: blafond <blafond(a)redhat.com>
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