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

James Moger

2013-01-08 7dc890057cc7f02df8f27ab988aa7055cbb3af65

 src/com/gitblit/models/ServerSettings.java

@@ -54,10 +54,16 @@
   }



   public void add(SettingModel setting) {

      settings.put(setting.name, setting);

      if (setting != null) {

         settings.put(setting.name, setting);

      }

   }



   public SettingModel get(String key) {

      return settings.get(key);

   }

	
   public boolean hasKey(String key) {

      return settings.containsKey(key);

   }

}