Upon session expiration, call destroy() on ContextResponders from PerSession.

diff --git a/src/dolda/jsvc/util/PerSession.java b/src/dolda/jsvc/util/PerSession.java
index 1cbc0d73241cce926f75f207d685c0ca22df0f15..deec82250948ef491b948fd89cb62a2af478980a 100644 (file)
--- a/src/dolda/jsvc/util/PerSession.java
+++ b/src/dolda/jsvc/util/PerSession.java
@@ -93,6 +93,14 @@ public class PerSession implements Responder {
            if(resp == null) {
                resp = create(sess);
                sess.put(rcl, resp);
+               if(resp instanceof ContextResponder) {
+                   final ContextResponder cr = (ContextResponder)resp;
+                   sess.listen(new Session.Listener() {
+                           public void expire(Session sess) {
+                               cr.destroy();
+                           }
+                       });
+               }
            }
        }
        resp.respond(req);