James Moger
2013-05-10 22ad1f4ce45615c888944b40f27916291f7ffad7
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.
    *