On Wed, 2009-05-06 at 10:49 +0000, ma...@apache.org wrote: > // Acquire global JNDI resources if available > - Server server = ServerFactory.getServer(); > + Server server = > + > ((Engine)context.getParent().getParent()).getService().getServer();
Ouch, not pretty. Rémy --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
