Override settings from command-line.

James Moger

2011-06-18 0fe70c1cf434f492286e01e8528322134a10281a

 src/com/gitblit/GitBlitServer.java

@@ -201,9 +201,9 @@
         return;

      }

      

      // Update settings

//      settings.put(Keys.realm.realmFile, params.realmFile);

//      settings.put(Keys.git.repositoriesFolder, params.repositoriesFolder);

      // Override settings

      settings.overrideSetting(Keys.realm.realmFile, params.realmFile);

      settings.overrideSetting(Keys.git.repositoriesFolder, params.repositoriesFolder);



      // Set the server's contexts

      server.setHandler(rootContext);