Lines Matching defs:sessionManager
65 final SessionManager sessionManager;
133 SessionManager sessionManager;
135 sessionManager = new SessionManager(this);
136 Session s = sessionManager.getOpSession();
137 sessionManager.releaseSession(s);
145 sessionManager = new SessionManager(this);
146 Session s = sessionManager.getOpSession();
147 sessionManager.releaseSession(s);
149 this.sessionManager = sessionManager;
264 return sessionManager.getObjSession();
268 return sessionManager.getOpSession();
272 return sessionManager.releaseSession(session);
276 return sessionManager.killSession(session);