<?xml version="1.0" encoding="UTF-8"?>
<jboss-web>
    <context-root>ticketmanor</context-root>
</jboss-web>

<?xml version="1.0" encoding="UTF-8"?>
<jboss-web>
    <context-root>ticketmanor</context-root>

	<!-- Map the JBoss-specific JNDI name to the generic JDBC/JNDI name -->
	<resource-ref>
		<res-ref-name>jdbc/TicketManorDB</res-ref-name>
		<jndi-name>java:/jdbc/TicketManorDB</jndi-name>
	</resource-ref>

</jboss-web>

Add bit to map JNDI from JBoss name to Java 'standard' name.
Add bit to map JNDI from JBoss name to Java 'standard' name.
