Fwd: Configuring Jetty when using Warbler

Hi,

I’m trying out Warbler to make a self contained .war that starts Jetty
when
run with java -jar. So far so good, but my problem is that the default
configuration for Jetty doesn’t work so well for me. I’d like to
configure
the server. I can’t find any way of doing that, though. Some things can
be
controlled with Java properties (like the port -Djetty.port=9999), but
for
example the number of threads that Jetty uses seems to require having a
reference to the server object, or making it load a jetty.xml when
starting
up. Neither seems possible with the way Warbler sets things up.

Have anyone else successfully managed to configure the embedded Jetty
server when creating a self contained .war with Warbler?

yours,
Theo