gnu.kawa.servlet
Class ReplServlet

java.lang.Object
  extended by HttpServlet
      extended by 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