diff options
author | Greg Wilkins | 2013-03-22 00:54:44 +0000 |
---|---|---|
committer | Greg Wilkins | 2013-03-22 00:54:44 +0000 |
commit | e4fb243adf4c5c919a4683a1a60fd29be6b2e1e6 (patch) | |
tree | d3a4ef196a01c6f6a6eb9ddeeef7ce064ea22e6a /jetty-distribution | |
parent | ea5fcfd20d7b40221ccbc17160b7745eefd772be (diff) | |
parent | 61be691a0ce7638f1dcee58788dad0163ab57f5f (diff) | |
download | org.eclipse.jetty.project-e4fb243adf4c5c919a4683a1a60fd29be6b2e1e6.tar.gz org.eclipse.jetty.project-e4fb243adf4c5c919a4683a1a60fd29be6b2e1e6.tar.xz org.eclipse.jetty.project-e4fb243adf4c5c919a4683a1a60fd29be6b2e1e6.zip |
Merge remote-tracking branch 'origin/jetty-7' into jetty-8
Diffstat (limited to 'jetty-distribution')
-rw-r--r-- | jetty-distribution/src/main/resources/etc/jetty-started.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jetty-distribution/src/main/resources/etc/jetty-started.xml b/jetty-distribution/src/main/resources/etc/jetty-started.xml index 15d4db3c5b..9207b1c9b4 100644 --- a/jetty-distribution/src/main/resources/etc/jetty-started.xml +++ b/jetty-distribution/src/main/resources/etc/jetty-started.xml @@ -8,7 +8,7 @@ <Call name="addLifeCycleListener"> <Arg> <New class="org.eclipse.jetty.util.component.FileNoticeLifeCycleListener"> - <Arg><SystemProperty name="jetty.pid" default="./jetty.pid"/></Arg> + <Arg><SystemProperty name="jetty.state" default="./jetty.state"/></Arg> </New> </Arg> </Call> |