<?xml version="1.0"?> <!DOCTYPE Configure PUBLIC "-//Jetty//Configure//EN" "http://www.eclipse.org/jetty/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>