Use an IdentityHashMap for session properties.

Why I did not do this before, I have no idea.

diff --git a/src/dolda/jsvc/util/Session.java b/src/dolda/jsvc/util/Session.java
index 679a72f9a812e4e0ae52341aa2f271f045940d0d..eb17fcfbd7f2b5ad9ff7b6b01c0f5d32f171f41b 100644 (file)
--- a/src/dolda/jsvc/util/Session.java
+++ b/src/dolda/jsvc/util/Session.java
@@ -10,7 +10,7 @@ public class Session implements java.io.Serializable {
     private static final SecureRandom prng;
     private static long lastclean = 0;
     private final String id;
-    private final Map<Object, Object> props = new HashMap<Object, Object>();
+    private final Map<Object, Object> props = new IdentityHashMap<Object, Object>();
     private long ctime = System.currentTimeMillis(), atime = ctime, etime = 86400 * 1000;
     private Collection<Listener> ll = new HashSet<Listener>();