Una entrada individual en el espacio de nombres JNDI predeterminado.
Name | Type | Default | Description |
---|---|---|---|
id | string | Un ID de configuración exclusivo. | |
jndiName | string | El nombre JNDI que se utiliza para esta entrada. | |
value | string | El valor JNDI que se asocia con el nombre. | |
decode | boolean | false | Verdadero si el valor debe descodificarse durante la búsqueda. |