Update to Jetty 8.1.13 for Servlet 3

James Moger

2013-11-16 d65a6baca9a20461f976a2455d70eecc7faf2db5

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

@@ -23,13 +23,14 @@
import javax.servlet.http.HttpServletRequest;

import javax.servlet.http.HttpServletResponse;



import com.gitblit.manager.IRuntimeManager;

import com.gitblit.utils.FileUtils;



/**

 * Handles requests for robots.txt

 * 
 *

 * @author James Moger

 * 
 *

 */

public class RobotsTxtServlet extends HttpServlet {



@@ -38,7 +39,7 @@
   public RobotsTxtServlet() {

      super();

   }

	


   @Override

   protected void doPost(HttpServletRequest request, HttpServletResponse response)

         throws ServletException, java.io.IOException {

@@ -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");