Ensure repository indexes are properly closed before deletion

James Moger

2012-03-19 8e9988c38cae55932cf707857fa8a06943e01d15

 src/com/gitblit/client/SearchDialog.java

@@ -92,8 +92,7 @@
      this.gitblit = gitblit;

      this.isSearch = isSearch;

      setTitle(Translation.get(isSearch ? "gb.search" : "gb.log"));

      setIconImage(new ImageIcon(getClass().getResource(

            isSearch ? "/gitblt-favicon.png" : "/commit_changes_16x16.png")).getImage());

      setIconImage(new ImageIcon(getClass().getResource("/gitblt-favicon.png")).getImage());

      initialize();

      setSize(900, 550);

   }