Michael Pailloncy
2013-05-30 169f8e06cb738e1c22b384a50cdd5a76e3f75e08
src/main/java/com/gitblit/IStoredSettings.java
@@ -288,6 +288,16 @@
   }
   /**
    * Override the specified key with the specified value.
    *
    * @param key
    * @param value
    */
   public void overrideSetting(String key, int value) {
      overrides.put(key, "" + value);
   }
   /**
    * Updates the values for the specified keys and persists the entire
    * configuration file.
    *