User: salborini
Date: 00/11/02 10:02:48
Added: tomcat/src/resources jboss-web.dtd
Log:
JNDI and security integration for EmbeddedTomcatService
Submitted by Kevin Lewis <[EMAIL PROTECTED]>
Revision Changes Path
1.1 contrib/tomcat/src/resources/jboss-web.dtd
Index: jboss-web.dtd
===================================================================
<!--
Defines jboss-web.xml files, which are jBoss-specific mappings for web.xml.
-->
<!ELEMENT jboss-web (description?, reference-descriptor?)>
<!ELEMENT description (#PCDATA)>
<!ELEMENT reference-descriptor (
resource-description*,
ejb-reference-description*
)>
<!ELEMENT ejb-reference-description (ejb-ref-name, jndi-name)>
<!ELEMENT ejb-ref-name (#PCDATA)>
<!ELEMENT jndi-name (#PCDATA)>
<!ELEMENT resource-description (res-ref-name, res-type, res-jndi-name)>
<!ELEMENT res-ref-name (#PCDATA)>
<!ELEMENT res-type (#PCDATA)>
<!ELEMENT res-jndi-name (#PCDATA)>
