diff --git a/jetty/README.md b/jetty/README.md index 230780dfa..ebbac1801 100644 --- a/jetty/README.md +++ b/jetty/README.md @@ -30,7 +30,7 @@ The default Jetty environment in the image is: JETTY_HOME = /usr/local/jetty JETTY_BASE = /var/lib/jetty JETTY_CONF = /usr/local/jetty/etc/jetty.conf - JETTY_STATE = /usr/local/jetty/jetty.state + JETTY_STATE = /var/lib/jetty/jetty.state JETTY_ARGS = JAVA_OPTIONS = TMPDIR = /tmp diff --git a/jetty/content.md b/jetty/content.md index 4c16be148..88d0f4fe0 100644 --- a/jetty/content.md +++ b/jetty/content.md @@ -23,7 +23,7 @@ The default Jetty environment in the image is: JETTY_HOME = /usr/local/jetty JETTY_BASE = /var/lib/jetty JETTY_CONF = /usr/local/jetty/etc/jetty.conf - JETTY_STATE = /usr/local/jetty/jetty.state + JETTY_STATE = /var/lib/jetty/jetty.state JETTY_ARGS = JAVA_OPTIONS = TMPDIR = /tmp