Changeset 29831
- Timestamp:
- 2015-04-16T17:56:02+12:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone3/src/java/org/greenstone/gsdl3/LibraryServlet.java
r28972 r29831 532 532 // commands are issued (and also don't need to do caching for this request) 533 533 boolean should_cache = true; 534 if (action != null && action.equals(GSParams.SYSTEM_ACTION)) 534 if (action != null && action.equals(GSParams.SYSTEM_ACTION) 535 && !subaction.equals(GSXML.SYSTEM_TYPE_PING)) // don't 'clean' anything on a mere ping 535 536 { 536 537 should_cache = false; … … 563 564 if (clean_all) 564 565 { 566 // TODO 565 567 session_ids_table = new Hashtable<String, UserSessionCache>(); 566 session.removeAttribute(GSXML.USER_SESSION_CACHE_ATT); 568 session.removeAttribute(GSXML.USER_SESSION_CACHE_ATT); // triggers valueUnbound(), which removes the session id from the session_ids_table 567 569 } 568 570 else
Note:
See TracChangeset
for help on using the changeset viewer.