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

<Configure id="Server" class="org.eclipse.jetty.server.Server">

  <!-- ===================================================================== -->
  <!-- Configure a SessionIdManager                                          -->
  <!-- ===================================================================== -->
  <Set name="sessionIdManager">
    <New id="idMgr" class="org.eclipse.jetty.server.session.DefaultSessionIdManager">
      <Arg>
        <Ref refid="Server"/>
      </Arg>
      <Set name="workerName">
        <Property name="jetty.sessionIdManager.workerName">
          <Default>node<Env name="JETTY_WORKER_INSTANCE">
                         <Default>
                           <Env name="GAE_MODULE_INSTANCE">
                             <Default>0</Default>
                           </Env>
                         </Default>
                       </Env>
          </Default>
        </Property>
      </Set>

      <!-- ===================================================================== -->
      <!-- Configure a session housekeeper to help with scavenging               -->
      <!-- ===================================================================== -->
      <Set name="sessionHouseKeeper">
       <New class="org.eclipse.jetty.server.session.HouseKeeper">
           <Set name="intervalSec"><Property name="jetty.sessionScavengeInterval.seconds" default="600"/></Set>
       </New>
      </Set>
   </New>
  </Set>
</Configure>
