Generate Keys class from gitblit.properties as part of build process.

James Moger

2011-04-14 155bf78e3377910d29b2c912f58c0f496cb428e8

 src/com/gitblit/StoredSettings.java

@@ -27,7 +27,7 @@
      List<String> keys = new ArrayList<String>();

      Properties props = read();

      for (Object o : props.keySet()) {

         String key = o.toString().toLowerCase(); 
         String key = o.toString().toLowerCase();

         if (key.startsWith(startingWith)) {

            keys.add(key);

         }

@@ -114,11 +114,11 @@
   }



   private static synchronized Properties read() {

      File file = new File("gitblit.properties");

      File file = new File(Constants.PROPERTIES_FILE);

      if (file.exists() && (file.lastModified() > lastread)) {

         try {

            properties = new Properties();

            properties.load(new FileInputStream("gitblit.properties"));

            properties.load(new FileInputStream(Constants.PROPERTIES_FILE));

            lastread = file.lastModified();

         } catch (FileNotFoundException f) {

         } catch (Throwable t) {