+ /** The path to the authenticated user home node. */
+ public String getUserHomePath() {
+ return userHomePath;
+ }
+
+ /** The session used to create this authentication. */
+ public Session getSession() {
+ return session;
+ }
+
+ @Override
+ public boolean isAuthenticated() {
+ if (session == null || !session.isLive())
+ setAuthenticated(false);
+ return super.isAuthenticated();
+ }
+
+ @Override
+ public void setAuthenticated(boolean isAuthenticated)
+ throws IllegalArgumentException {
+ super.setAuthenticated(isAuthenticated);
+ if (!isAuthenticated && session != null)
+ session.logout();