31b5518fe3
Backport of #10790 to Jetty 10. + Making sure /etc/default/jetty is populated correctly in the user_change mode + Removing warnings from jetty startup about --start-log-file=... being unrecognized + Adding unique jetty10 identifier to docker image names (helps to keep different jetty versions apart when manually testing) Signed-off-by: Joakim Erdfelt <joakim.erdfelt@gmail.com> |
||
---|---|---|
.. | ||
src/main | ||
pom.xml | ||
testing-with-local-deploy.md |