David,

I just tried it by editing the tomcat server.xml. The tomcat could
not start as there is no log where the problems are. It is difficult
to say what caused it.

jw

--- In IB-Java@y..., David Jencks <davidjencks@d...> wrote:
> OK I checked it in.
>
> Let me know how it goes.
>
> Thanks
> david