Update to Jetty 8.1.13 for Servlet 3

James Moger

2013-11-16 d65a6baca9a20461f976a2455d70eecc7faf2db5

 src/main/java/com/gitblit/FederationClient.java

@@ -83,7 +83,8 @@
      }



      // configure the Gitblit singleton for minimal, non-server operation

      GitBlit.self().configureContext(settings, baseFolder, false);

      GitBlit gitblit = new GitBlit(settings, baseFolder);

      gitblit.configureContext(settings, baseFolder, false);

      FederationPullExecutor executor = new FederationPullExecutor(registrations, params.isDaemon);

      executor.run();

      if (!params.isDaemon) {