On Wed, Sep 19, 2001 at 11:20:28PM +0200, Ola Lundqvist wrote: > On Wed, Sep 19, 2001 at 10:44:30AM -0700, Bill Wohler wrote: > > > Probably not. So the lib/ext dir should be empty, right? > > > > Disagree. There is a world of difference between jars you install > > and jars you serendipitously obtain over the net via the Java Plug-in > > or Java Web Start. > > > > Our use of $JAVA_HOME/jre/lib/ext is exactly what it was meant for. > > Well I have not used any such features. When I ment empty I ment that > no packages (debs) should place their jars there. But I might be > wrong here too. :)
I think that's best. lib/ext is not overridable by *anything*, not even /usr/bin/java. Say I just installed the Tomcat 3.2 .deb, and it put servlet.jar (2.2) in lib/ext. Then I want to try out Tomcat 4.0 from CVS. It will break because it requires 2.3 of servlet.jar, and lib/ext cannot be overridden. --Jeff > Regards, > > // Ola
