<?xml version="1.0"?>
<!DOCTYPE Configure PUBLIC "-//Jetty//Configure//EN" "https://jetty.org/configure_10_0.dtd">

<!-- =============================================================== -->
<!-- Mixin the Graceful Handler                                      -->
<!-- =============================================================== -->

<Configure id="Server" class="org.eclipse.jetty.server.Server">
  <Call name="insertHandler">
    <Arg>
      <New id="GracefulHandler" class="org.eclipse.jetty.server.handler.GracefulHandler" />
    </Arg>
  </Call>
  <Set name="stopTimeout"><Property name="jetty.server.stopTimeout" default="5000"/></Set>
</Configure>
