public String getPageIds(ClientRequest cr) {
HttpSession session = cr.getServletRequest().getSession();
PageState.AllPageInfo info = (PageState.AllPageInfo) session.getAttribute("fiz.PageState");
if (info == null) {
return "";
}
Object[] keys = info.keySet().toArray();
Arrays.sort(keys);
return StringUtil.join(keys, ", ");
}
public String getPropertyNames(PageState state) {
Object[] keys = state.properties.keySet().toArray();
Arrays.sort(keys);
return StringUtil.join(keys, ", ");
}