Update to Jetty 8.1.13 for Servlet 3

James Moger

2013-11-16 d65a6baca9a20461f976a2455d70eecc7faf2db5

 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.

    *