Пример #1
0
 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, ", ");
 }
Пример #2
0
 public String getPropertyNames(PageState state) {
   Object[] keys = state.properties.keySet().toArray();
   Arrays.sort(keys);
   return StringUtil.join(keys, ", ");
 }