Critical fix for servlet.

James Moger

2011-05-19 9da97003c7f33a64ae5060f413f9c4c5d26efe78

 src/com/gitblit/GitBlitServer.java

@@ -458,7 +458,7 @@
       * Authentication Parameters

       */

      @Parameter(names = { "--realmFile" }, description = "Users Realm Hash File")

      public String realmFile = fileSettings.getString(Keys.server.realmFile, "users.properties");

      public String realmFile = fileSettings.getString(Keys.realm.realmFile, "users.properties");



      /*

       * JETTY Parameters