From 57b29ca97ed10d450a6175410119da1a0777dae4 Mon Sep 17 00:00:00 2001 From: Mike Dillon Date: Sat, 28 Feb 2015 00:10:14 -0800 Subject: [PATCH] Fix documentation of JETTY_STATE location --- jetty/README.md | 2 +- jetty/content.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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