Wrap pushlog update code with an exception handler, just-in-case

James Moger

2013-01-08 7dc890057cc7f02df8f27ab988aa7055cbb3af65

 src/com/gitblit/wicket/pages/GitSearchPage.java

@@ -36,7 +36,7 @@
      int nextPage = pageNumber + 1;



      SearchPanel search = new SearchPanel("searchPanel", repositoryName, objectId, value,

            searchType, getRepository(), -1, pageNumber - 1);

            searchType, getRepository(), -1, pageNumber - 1, getRepositoryModel().showRemoteBranches);

      boolean hasMore = search.hasMore();

      add(search);