gnu.kawa.servlet
Class ReplServlet

java.lang.Object
  HttpServlet
      gnu.kawa.servlet.ReplServlet

public class ReplServlet
extends HttpServlet

The Servlet for a browser-base "read-eval-print-loop" session. The session state and logic is in ReplSession.

Constructor Summary

ReplServlet()

Method Summary

void	doPost(HttpServletRequest request, HttpServletResponse response)
void	init(ServletConfig config)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ReplServlet

public ReplServlet()

Method Detail

init

public void init(ServletConfig config)
          throws ServletException

Throws:

ServletException

doPost

public void doPost(HttpServletRequest request,
                   HttpServletResponse response)
            throws java.io.IOException

Throws:

java.io.IOException