Merge branch 'master' of https://github.com/gitblit/gitblit

Mrbytes

2012-09-13 db71db17c90fd93bcf38cdf87e16a371c39708e0

 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);

   }

}