Improve index page strategy in PagesServlet.

Yuhi Ishikura

2013-06-02 7eb9828ec6a31ad372c6a1dac7fa042bcdbd6818

 src/main/java/com/gitblit/authority/GitblitAuthority.java

@@ -804,6 +804,8 @@
   }

   

   private void filterUsers(final String fragment) {

      table.clearSelection();

      userCertificatePanel.setUserCertificateModel(null);

      if (StringUtils.isEmpty(fragment)) {

         table.setRowSorter(defaultSorter);

         return;