RetryServlet

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

public final void doGet(HttpServletRequest request, HttpServletResponse response)

Called by the Tapenade server.

Parameters

• request – an HttpServletRequest object that contains the request the client has made of the servlet

• 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

public final void doPost(HttpServletRequest request, HttpServletResponse response)

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

Parameters

• request – an HttpServletRequest object that contains the request the client has made of the servlet

• 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