James Moger
2013-05-28 034e4bc7cd5ca3271e59ebdba1b25beb37b4b73c
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.
    *