.. java:import:: java.io File

.. java:import:: java.io IOException

.. java:import:: java.util Objects

.. java:import:: javax.servlet.http HttpServletRequest

.. java:import:: javax.servlet.http HttpServletResponse

.. java:import:: javax.servlet.http HttpSession

RetryNewServlet
===============

.. java:package:: fr.inria.tapenade.toplevel
   :noindex:

.. java:type:: public final class RetryNewServlet extends ADServlet

   This servlet is called when a user wants to retry the program with new files, using the "Retry with new files" button.

Methods
-------
doGet
^^^^^

.. java:method:: @Override public final void doGet(HttpServletRequest req, HttpServletResponse res) throws IOException
   :outertype: RetryNewServlet

   Called by the Tapenade server.

   :param req: an HttpServletRequest object that contains the request the client has made of the servlet
   :param res: an HttpServletResponse object that contains the response the servlet sends to the client
   :throws IOException: if an input or output error is detected when the servlet handles the request

doPost
^^^^^^

.. java:method:: @Override public final void doPost(HttpServletRequest req, HttpServletResponse res) throws IOException
   :outertype: RetryNewServlet

   Called by the Tapenade web server.

   :param req: an HttpServletRequest object that contains the request the client has made of the servlet
   :param res: an HttpServletResponse object that contains the response the servlet sends to the client
   :throws IOException: if an input or output error is detected when the servlet handles the request