Merge pull request #98 from simonharrer/close-resources-correctly

James Moger

2013-07-19 42e19382d28d06eda0ffbcda01fbfed5c3538dd8

 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;