Re: [jetty-dev] Jetty Plugin Functionality / Getting rid of Jetty Highti

[Eirik Bjørsnøs <eirbjo@xxxxxxxxx>]

Greg,

I think this will support our use case in an easy and simple way!

OPTIONS will inherently be additive, so the += might be superfluous. But that might be getting into bike shed territory..

Thanks,
Eirik.

Den 14. nov. 2011 05.53 skrev "Greg Wilkins" <gregw@xxxxxxxxxxx> følgende:

How about a start.d directory that contains multiple start.ini format files, that are concatenated together to form an effective start.ini ?

We'd need to add += semantics so that for a typical module, their would be file start.d/10-foo.ini

  -Dsome.foo.property=value
  OTPIONS+=foo
  etc/jetty-foo.xml


cheers




_______________________________________________
jetty-dev mailing list
jetty-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/jetty-dev