remm 02/01/17 11:59:26 Modified: . build.properties.sample Log: - The JMX support can now be built and distributed with an alternate JMX implmentation: OpenJMX. OpenJMX is a Sourceforge project which uses the Apache license, so this should remove the redistribution problems with the JMX RI. Overall, I think OpenJMX is an ideal candidate for distribution with upcoming Tomcat releases. - The build.properties mentions OpenJMX 1.0 b2, which is not released yet. 1.0 b1 will not work, as a few fixes were needed to work with Tomcat. - I don't see any reason why not to enable the JMX support by default once OpenJMX reaches 1.0 status. - Removes use of proprietary APIs from the JMX RI. - Rename the main JMX variable: jmxri.jar -> jmx.jar (the first one implied that the JMX RI is required). Revision Changes Path 1.25 +4 -5 jakarta-tomcat-4.0/build.properties.sample Index: build.properties.sample =================================================================== RCS file: /home/cvs/jakarta-tomcat-4.0/build.properties.sample,v retrieving revision 1.24 retrieving revision 1.25 diff -u -r1.24 -r1.25 --- build.properties.sample 15 Jan 2002 18:52:14 -0000 1.24 +++ build.properties.sample 17 Jan 2002 19:59:26 -0000 1.25 @@ -6,7 +6,7 @@ # modules that Tomcat depends on. Copy this file to "build.properties" # in the top-level source directory, and customize it as needed. # -# $Id: build.properties.sample,v 1.24 2002/01/15 18:52:14 patrickl Exp $ +# $Id: build.properties.sample,v 1.25 2002/01/17 19:59:26 remm Exp $ # ----------------------------------------------------------------------------- @@ -104,11 +104,10 @@ mail.jar=${mail.lib}/mail.jar -# ----- Java Management Extensions (JMX) RI, version 1.0.1 or later ----- -jmx.home=${base.path}/jmx-ri_1.0.1/jmx +# ----- Java Management Extensions (JMX), JMX RI 1.0.1 or later or OpenJMX 1.0b2 or later ----- +jmx.home=${base.path}/openjmx jmx.lib=${jmx.home}/lib -jmxri.jar=${jmx.lib}/jmxri.jar -jmxtools.jar=${jmx.lib}/jmxtools.jar +jmx.jar=${jmx.lib}/openjmx.jar # ----- Java Naming and Directory Interface (JNDI), version 1.2 or later -----
-- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>