Define manager interfaces and update all of Gitblit to use managers

James Moger

2013-11-17 db4f6b5740c6ea45d9e2209dc569bc18904a8b4d

 src/main/java/com/gitblit/IStoredSettings.java

@@ -333,6 +333,16 @@
   }



   /**

    * Override the specified key with the specified value.

    *

    * @param key

    * @param value

    */

   public void overrideSetting(String key, boolean value) {

      overrides.put(key, "" + value);

   }



   /**

    * Updates the values for the specified keys and persists the entire

    * configuration file.

    *