public class JadexDispatcherServlet
extends javax.servlet.http.HttpServlet
Modifier and Type | Field and Description |
---|---|
protected jadex.bridge.IExternalAccess |
platform
The platform.
|
Constructor and Description |
---|
JadexDispatcherServlet() |
Modifier and Type | Method and Description |
---|---|
void |
destroy()
Shut down the platform on exit.
|
protected void |
doGet(javax.servlet.http.HttpServletRequest request,
javax.servlet.http.HttpServletResponse response)
Called on each web request.
|
void |
init()
Init the servlet by starting the Jadex platform.
|
doDelete, doHead, doOptions, doPost, doPut, doTrace, getLastModified, service, service
public void init() throws javax.servlet.ServletException
init
in class javax.servlet.GenericServlet
javax.servlet.ServletException
public void destroy()
destroy
in interface javax.servlet.Servlet
destroy
in class javax.servlet.GenericServlet
protected void doGet(javax.servlet.http.HttpServletRequest request, javax.servlet.http.HttpServletResponse response) throws javax.servlet.ServletException, java.io.IOException
doGet
in class javax.servlet.http.HttpServlet
javax.servlet.ServletException
java.io.IOException