| <?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.JDBCSessionIdManager"> |
| <Arg> |
| <Ref refid="Server"/> |
| </Arg> |
| <Set name="workerName"><Property name="jetty.jdbcSession.workerName" default="node1"/></Set> |
| <Set name="scavengeInterval"><Property name="jetty.jdbcSession.scavenge" default="1800"/></Set> |
| |
| <!-- ===================================================================== --> |
| <!-- Uncomment either the datasource or driver setup and configure --> |
| <!-- ===================================================================== --> |
| |
| <!-- |
| <Set name="DatasourceName"><Property name="jetty.jdbcSession.datasource" default="javax.sql.DataSource/default"/></Set> |
| --> |
| <!-- |
| <Call name="setDriverInfo"> |
| <Arg><Property name="jetty.jdbcSession.driverClass"/></Arg> |
| <Arg><Property name="jetty.jdbcSession.connectionURL"/></Arg> |
| </Call> |
| --> |
| </New> |
| </Set> |
| |
| </Configure> |