jetty.project/jetty-home
Joakim Erdfelt 3eddc92783
Updates to jetty.sh and testing to reduce failures (#10790)
+ Updating AmazonCorretto to JDK 17
+ 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 jetty12 identifier to docker
  image names (helps to keep different jetty
  versions apart when manually testing)
2023-10-26 14:28:01 +11:00
..
src/main Updates to jetty.sh and testing to reduce failures (#10790) 2023-10-26 14:28:01 +11:00
pom.xml Jetty 12.0.x use automatic formatter for poms to have same style for every poms (#10578) 2023-10-12 03:51:36 +02:00
testing-with-local-deploy.md Fixing typo 2020-09-30 08:45:29 -05:00