mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-16 03:25:02 +00:00
* Issue #6017 - jetty-start Property override behavior + All *.mod based configuration defaults are default properties are not forced values and can be overridden. Signed-off-by: Joakim Erdfelt <joakim.erdfelt@gmail.com>