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

James Moger

2013-01-08 7dc890057cc7f02df8f27ab988aa7055cbb3af65

 src/com/gitblit/models/SearchResult.java

@@ -15,6 +15,10 @@
public class SearchResult implements Serializable {



   private static final long serialVersionUID = 1L;

	
   public int hitId;

	
   public int totalHits;



   public float score;