Re: [jetty-dev] Updates on /jetty-start-enhancement/ branch ..

[Greg Wilkins <gregw@xxxxxxxxxxx>]

Joakim Erdfelt wrote:
> in general vernacular, an option is "--list-modes", "--stop", or "--dry-run".
> The changes made, while honest to the history of jetty, I feel
> overload the meaning of "option" too much.

hmmmm   To me the OPTIONS  value should be a list of options, not a list
of modes.   So I'd prefer not to introduce a new term "mode".

> Also, the change made to start.config ...
> 
>  # add a property defined library directory
> -${lib}/**                                        exists ${jetty.lib}
> +${lib}/**                                        exists ${lib}
> 
> will break backward compatibility. as the system property ${jetty.lib}
> used in the past now becomes ${lib}.

This I agree with.   Not sure why this was changed or who changed it???
It was probably me... in which case I don't know what I was thinking!

Let's change it back before 7.0.0.0

cheers