Update to Jetty 8.1.13 for Servlet 3

James Moger

2013-11-16 d65a6baca9a20461f976a2455d70eecc7faf2db5

 src/main/java/com/gitblit/GitBlitServer.java

@@ -340,7 +340,7 @@
      HashSessionManager sessionManager = new HashSessionManager();

      sessionManager.setHttpOnly(true);

      // Use secure cookies if only serving https

      sessionManager.setSecureCookies(params.port <= 0 && params.securePort > 0);

      sessionManager.setSecureRequestOnly(params.port <= 0 && params.securePort > 0);

      rootContext.getSessionHandler().setSessionManager(sessionManager);



      // Ensure there is a defined User Service