Eclipse
/
jetty.project
mirror of https://github.com/jetty/jetty.project.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/master' into servlet-3.1-api

This commit is contained in:
Greg Wilkins 2013-04-19 13:56:34 +10:00
parent 45bc7e6f5c 22c3151ad6
commit f9f2a2c405
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
jetty-server/src/main/config/etc/jetty.xml
View File

@ -124,7 +124,7 @@
<!-- =========================================================== --> <!-- =========================================================== -->
<Set name="stopAtShutdown">true</Set> <Set name="stopAtShutdown">true</Set>
<Set name="stopTimeout">5000</Set> <Set name="stopTimeout">5000</Set>
<Set name="dumpAfterStart">false</Set> <Set name="dumpAfterStart"><Property name="jetty.dump.start" default="false"/></Set>
<Set name="dumpBeforeStop">false</Set> <Set name="dumpBeforeStop"><Property name="jetty.dump.stop" default="false"/></Set>
</Configure> </Configure>