426427428429430431432433434435436
_sessions.put(session.getId(), copy); session.finish(); if (_persistentStore != null) { _persistentStore.put(session.getId(), copy.encode(env)); } } /** * Creates a session. It's already been established that the
432433434435436437438439440441442