Determining Jetty Version in JBoss Release?

[bradmc]

Is there a straightforward method for determining which Jetty Version is contained in a given JBoss release?

For example, it's apparently changed between 3.0.0 and 3.0.2, but it's not immediately obvious which release is in which. (Obviously, with tomcat, it's a no brainer based on the archive name).

Since effectively configuring Jetty requires using the Jetty Javadocs, and the Jetty code is a moving target, it would be nice to have a prominent easy way to do this.

[donohoe]

I looked through the lines spit out at startup and saw this:

INFO [jbossweb] Starting Jetty/4.1

So I guess you can save the startup log and grep for Jetty.

I'm running jboss-3.0.2

-Doug