mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-23 16:05:00 +00:00
+ Do not include JETTY_SYS_PROPS in JAVA_OPTIONS to avoid duplicates that show up in RUN_ARGS. + Only use JETTY_SYS_PROPS in RUN_CMD. Signed-off-by: Joakim Erdfelt <joakim.erdfelt@gmail.com>