JNDI search should be case-insensitive by default
-------------------------------------------------
Key: GERONIMO-4235
URL: https://issues.apache.org/jira/browse/GERONIMO-4235
Project: Geronimo
Issue Type: Improvement
Security Level: public (Regular issues)
Components: console
Affects Versions: 2.1.2
Reporter: Jürgen Weber
Priority: Minor
Search in the JNDI tree should be case-insensitive by default. There should be
a checkbox [ ] case sensitive which should be off by default.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
