Update to Jetty 8.1.13 for Servlet 3

James Moger

2013-11-16 d65a6baca9a20461f976a2455d70eecc7faf2db5

 src/main/java/com/gitblit/RobotsTxtServlet.java

@@ -23,6 +23,7 @@
import javax.servlet.http.HttpServletRequest;

import javax.servlet.http.HttpServletResponse;



import com.gitblit.manager.IRuntimeManager;

import com.gitblit.utils.FileUtils;



/**

@@ -54,7 +55,8 @@
   protected void processRequest(javax.servlet.http.HttpServletRequest request,

         javax.servlet.http.HttpServletResponse response) throws javax.servlet.ServletException,

         java.io.IOException {

      File file = GitBlit.getFileOrFolder(Keys.web.robots.txt, null);

      IRuntimeManager runtimeManager = GitBlit.getManager(IRuntimeManager.class);

      File file = runtimeManager.getFileOrFolder(Keys.web.robots.txt, null);

      String content = "";

      if (file.exists()) {

         content = FileUtils.readContent(file, "\n");