/** * Returns the name used to store the lock in the HTTP session. * * @return The attribute name for the lock */ private String getLockAttributeName() { return getServiceName() + ".lock"; }
/** * Returns the name used for storing the VaadinSession in the underlying * HTTP session. * * @return the attribute name used for storing the VaadinSession */ protected String getSessionAttributeName() { return VaadinSession.class.getName() + "." + getServiceName(); }
private static String getSessionDetails(VaadinSession session) { if (session == null) { return null; } else { return session + " for " + session.getService().getServiceName(); } }