Aaron Mulder <[EMAIL PROTECTED]> wrote on 08/07/2005 01:59:38 PM: > On Thu, 7 Jul 2005, David Blevins wrote: > > I was going for a pick one response. As in: > > > > 1) Separate builds (one jetty build and one tomcat build) > > 2) One build (both jetty and tomcat in the same build) with jetty > as default. > > I vote "whatever's easiest" -- you'll get both options both ways, > and I think it ought to come down to whatever the person working on the > installer script fancies. With the input of the person making it easier
> to swap between Tomcat and Jetty. If those people don't turn up, then I > guess we go with "separate builds" by default. :) > > Aaron +1 for separate builds unless we come up with a solution for switching between Jetty and Tomcat without requiring users to edit files and rebuild. John
