diff --git a/jetty-server/src/main/config/etc/jetty.xml b/jetty-server/src/main/config/etc/jetty.xml index 0ba38381b6f..f85a955c8f0 100644 --- a/jetty-server/src/main/config/etc/jetty.xml +++ b/jetty-server/src/main/config/etc/jetty.xml @@ -122,7 +122,7 @@ - 5000 + diff --git a/jetty-server/src/main/config/modules/server.mod b/jetty-server/src/main/config/modules/server.mod index 14d6b58e88f..a3bbecf890d 100644 --- a/jetty-server/src/main/config/modules/server.mod +++ b/jetty-server/src/main/config/modules/server.mod @@ -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