mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-24 00:17:18 +00:00
Added --exec-properties to allow the name of the properties file to be set and for it not to be deleted on exit.
Added --exec-properties to allow the name of the properties file to be set and for it not to be deleted on exit.