en:user_advanced:user_management
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
en:user_advanced:user_management [2017/08/03 00:22] – kjdon | en:user_advanced:user_management [2017/08/03 00:23] – kjdon | ||
---|---|---|---|
Line 19: | Line 19: | ||
| | ||
--> | --> | ||
- | | + | <Realm className=" |
- | driverName=" | + | driverName=" |
- | connectionURL=" | + | connectionURL=" |
- | userTable=" | + | userTable=" |
- | userRoleTable=" | + | userRoleTable=" |
- | /> | + | /> |
</ | </ | ||
Line 30: | Line 30: | ||
< | < | ||
- | | + | <Realm className=" |
- | driverName=" | + | driverName=" |
- | connectionURL=" | + | connectionURL=" |
- | userTable=" | + | userTable=" |
- | userRoleTable=" | + | userRoleTable=" |
/> | /> | ||
Line 41: | Line 41: | ||
Logins timeout when the tomcat session expires. Session expiry happens after a specified period of inactivity. In LibraryServlet.java, | Logins timeout when the tomcat session expires. Session expiry happens after a specified period of inactivity. In LibraryServlet.java, | ||
< | < | ||
- | | + | /** |
- | | + | * the maximum interval that the cached info remains in session_ids_table |
- | e | + | * (in seconds) This is set in web.xml |
- | * (in seconds) This is set in web.xml | + | */ |
- | | + | protected int session_expiration = 1800; |
- | protected int session_expiration = 1800; | + | |
</ | </ | ||
Line 52: | Line 51: | ||
This can be overridden by putting a session-expiration init-param into your servlet specification in web/ | This can be overridden by putting a session-expiration init-param into your servlet specification in web/ | ||
< | < | ||
- | | + | < |
- | < | + | < |
- | < | + | < |
- | </ | + | </ |
</ | </ | ||