diff options
| author | Jan Bartel | 2015-05-07 07:10:31 +0000 |
|---|---|---|
| committer | Jan Bartel | 2015-05-07 07:10:31 +0000 |
| commit | 532b0019cc0df9bf47b7aedcf65daf8308d2d448 (patch) | |
| tree | f108a6091570240c56874d044af265a6acb8dd5c /jetty-server | |
| parent | 310940287b5d2e3f0a01bb45e9c505804afb9285 (diff) | |
| download | org.eclipse.jetty.project-532b0019cc0df9bf47b7aedcf65daf8308d2d448.tar.gz org.eclipse.jetty.project-532b0019cc0df9bf47b7aedcf65daf8308d2d448.tar.xz org.eclipse.jetty.project-532b0019cc0df9bf47b7aedcf65daf8308d2d448.zip | |
466678 Make a .mod file for jdbc session management
Diffstat (limited to 'jetty-server')
| -rw-r--r-- | jetty-server/src/main/config/etc/jetty-jdbc-sessions.xml | 34 | ||||
| -rw-r--r-- | jetty-server/src/main/config/modules/jdbc-sessions.mod | 24 |
2 files changed, 58 insertions, 0 deletions
diff --git a/jetty-server/src/main/config/etc/jetty-jdbc-sessions.xml b/jetty-server/src/main/config/etc/jetty-jdbc-sessions.xml new file mode 100644 index 0000000000..aacad8ca25 --- /dev/null +++ b/jetty-server/src/main/config/etc/jetty-jdbc-sessions.xml @@ -0,0 +1,34 @@ +<?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 id="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> diff --git a/jetty-server/src/main/config/modules/jdbc-sessions.mod b/jetty-server/src/main/config/modules/jdbc-sessions.mod new file mode 100644 index 0000000000..eecf4cf482 --- /dev/null +++ b/jetty-server/src/main/config/modules/jdbc-sessions.mod @@ -0,0 +1,24 @@ +# +# Jetty JDBC Session module +# + +[depend] +annotations +webapp + +[xml] +etc/jetty-jdbc-sessions.xml + + +[ini-template] +## JDBC Session config + +## Unique identifier for this node in the cluster +jetty.jdbcSession.workerName=node1 + +##Uncomment either the datasource name or driverClass and connectionURL +#jetty.jdbcSession.datasource=sessions +#jetty.jdbcSession.driverClass=changeme +#jetty.jdbcSession.connectionURL=changeme + + |