On Wed, 2009-05-06 at 10:49 +0000, [email protected] 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: [email protected] For additional commands, e-mail: [email protected]
