.. java:import:: java.io File

.. java:import:: java.io IOException

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

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

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

RetryServlet
============

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

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

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

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

.. java:method:: @Override public final void doGet(HttpServletRequest request, HttpServletResponse response) throws IOException
   :outertype: RetryServlet

   Called by the Tapenade server.

   :param request: an HttpServletRequest object that contains the request the client has made of the servlet
   :param response: 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 request, HttpServletResponse response) throws IOException
   :outertype: RetryServlet

   Called by the Tapenade web server. This method is redefined because, to transmit the data, we use the POST method.

   :param request: an HttpServletRequest object that contains the request the client has made of the servlet
   :param response: 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