[jBoss-Dev] Tomcat fixes (DONE)

Hey FYI, all Tomcat fixes mentioned in previous post are now in CVS. /Rickard -- Rickard Öberg Email: [EMAIL PROTECTED] http://www.telkel.com http://www.jboss.org http://www.dreambean.com

[jBoss-Dev] Tomcat fixes

Hey I've been messing around with Tomcat a bit, and have fixed two things: * the naming service now reads jndi.properties into system properties. This means that servlets now can do "new InitialContext()" to use JNDI and does not have to have their own jndi.properties, or access /conf//jndi.prope