/** * Returns the feedback text * * @param user user id * @param type type of session * @param key browsing session id (null if session type is EDIT) * @return AnchorInfo[] with serialisable version of feedback text, empty if the user's session is * expired or null if an error occurred */ public AnchorInfo[] getFeedbackText(String user, int type, String key) { if (!userMap.containsKey(user)) return new AnchorInfo[0]; LiberSession session = userMap.get(user); synchronized (session) { session.setLastUpdated(); return session.getFeedbackText(type, key); } }