edu.washington.cs.supple.web.servlet
Class SuppleServlet

java.lang.Object
  HttpServlet
      edu.washington.cs.supple.web.servlet.SuppleServlet

public class SuppleServlet

extends HttpServlet

SuppleServlet accepts urls of the format:

 http://[server]:[port]/[context]/ 
 http://[server]:[port]/[context]/[application]
 

Where [application] is the name of a Supple application.

Author:

kgajos, kierah, dbc1

See Also:

Serialized Form

Constructor Summary

SuppleServlet()

Method Summary

void	destroy()
protected void	doGet(HttpServletRequest request, HttpServletResponse response)
protected void	doPost(HttpServletRequest request, HttpServletResponse response)
WebSuppleUserSession	getUserSession(HttpSession session) Gets or creates a new WebSuppleUserSession based on information passed in through the HttpSession.
void	init()
protected void	processRequest(HttpServletRequest request, HttpServletResponse response) Process an HTTP request.

Methods inherited from class java.lang.Object

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

Constructor Detail

SuppleServlet

public SuppleServlet()

Method Detail

init

public void init()
          throws ServletException

Throws:

ServletException

destroy

public void destroy()

doGet

protected void doGet(HttpServletRequest request,
                     HttpServletResponse response)
              throws ServletException,
                     java.io.IOException

Throws:

ServletException

java.io.IOException

doPost

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

Throws:

ServletException

java.io.IOException

processRequest

protected void processRequest(HttpServletRequest request,
                              HttpServletResponse response)
                       throws ServletException,
                              java.io.IOException

Process an HTTP request.

Throws:

ServletException

java.io.IOException

getUserSession

public WebSuppleUserSession getUserSession(HttpSession session)

Gets or creates a new WebSuppleUserSession based on information passed in through the HttpSession.

Parameters:

session - the HttpSession in which the new User Session should be placed

Returns:

the new WebSuppleUserSession