Indique le nom JNDI (Java Naming and Directory Interface).
Les environnements informatiques répartis utilisent souvent des
services d'annuaire et de nommage pour obtenir des composants et des
ressources partagés. Les services de nommage et d'annuaire associent des noms à des
emplacements, des services, des informations et des ressources.
Les services de nommage fournissent des mappages nom-vers-objet. Les
services d'annuaire et de nommage fournissent des informations sur les
objets et des outils de recherche nécessaires pour localiser ces objets.
Il existe un grand nombre d'implémentations de services d'annuaire
et les interfaces associées varient. L'interface JNDI
fournit une interface commune utilisée pour
accéder à différents services d'annuaire et de nommage.
Par exemple, vous pouvez indiquer le nom
jdbc/markSection.
Si vous n'indiquez pas de valeur dans cette zone, un nom JNDI est
généré à partir du nom de la source de données. Par exemple, un nom de source de données markSection génère le nom
JNDI jdbc/markSection.
Une fois la valeur définie, sauvegardez-la et redémarrez le serveur. Cette chaîne doit apparaître lorsque vous exécutez l'outil de vidage de l'espace de nom.