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

[blafond]

  Branch: refs/heads/8.5.x
  Home:   https://github.com/Teiid-Designer/teiid-designer
  Commit: 1fce2268b64ce299c4db5aabe4c4528bc53b5c50
      https://github.com/Teiid-Designer/teiid-designer/commit/1fce2268b64ce299c4db5aabe4c4528bc53b5c50
  Author: blafond <blafond at 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