[pkg-jboss-maintainer] JBoss Ports / Debian

[Philipp Hug]

> > ok, so should we use 8209 for ajp13 and 8280 for http and disable all other
> > ports?
> I think that's fine.
k

> Hmm...not sure. The configs are easily selectable via
> /etc/defaults/jboss3. Every further step involves editing a XML file, I
> think. We should drop in a nice default config (based on the default
> jboss config) with only the above open ports and leave all the rest to
> the user.
> We should furthermore make sure users can drop in their own server
> configurations without problems without having to mess with any file
> under /usr/share (if they have to move some things over to
> /usr/local/share this would be o.k. IMHO).

ok, so lets create the jboss3-server-debian configuration, install it with
jboss3 and use it as the default configuration. agree?
currently, you can install jboss without any configurations. not nice :-(

I'll add jboss3-server-debian and let jboss3 depend on it if nobody disagrees..

philipp