start property for stopTimeout #774
This commit is contained in:
parent
117cbc2bd1
commit
32e2ee8cb9
|
@ -122,7 +122,7 @@
|
|||
<!-- extra server options -->
|
||||
<!-- =========================================================== -->
|
||||
<Set name="stopAtShutdown"><Property name="jetty.server.stopAtShutdown" default="true"/></Set>
|
||||
<Set name="stopTimeout">5000</Set>
|
||||
<Set name="stopTimeout"><Property name="jetty.server.stopTimeout" default="5000"/></Set>
|
||||
<Set name="dumpAfterStart"><Property name="jetty.server.dumpAfterStart" deprecated="jetty.dump.start" default="false"/></Set>
|
||||
<Set name="dumpBeforeStop"><Property name="jetty.server.dumpBeforeStop" deprecated="jetty.dump.stop" default="false"/></Set>
|
||||
|
||||
|
|
|
@ -71,6 +71,9 @@ etc/jetty.xml
|
|||
## Whether ctrl+c on the console gracefully stops the Jetty server
|
||||
# jetty.server.stopAtShutdown=true
|
||||
|
||||
## Timeout in ms to apply when stopping the server gracefully
|
||||
# jetty.server.stopTimeout=5000
|
||||
|
||||
## Dump the state of the Jetty server, components, and webapps after startup
|
||||
# jetty.server.dumpAfterStart=false
|
||||
|
||||
|
|
Loading…
Reference in New Issue