mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-15 02:54:49 +00:00
added some more properties to the configuration
This commit is contained in:
parent
f23b15adaf
commit
22c3151ad6
@ -124,7 +124,7 @@
|
||||
<!-- =========================================================== -->
|
||||
<Set name="stopAtShutdown">true</Set>
|
||||
<Set name="stopTimeout">5000</Set>
|
||||
<Set name="dumpAfterStart">false</Set>
|
||||
<Set name="dumpBeforeStop">false</Set>
|
||||
<Set name="dumpAfterStart"><Property name="jetty.dump.start" default="false"/></Set>
|
||||
<Set name="dumpBeforeStop"><Property name="jetty.dump.stop" default="false"/></Set>
|
||||
|
||||
</Configure>
|
||||
|
Loading…
x
Reference in New Issue
Block a user