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, servicepublic void init()
throws javax.servlet.ServletException
init in class javax.servlet.GenericServletjavax.servlet.ServletExceptionpublic void destroy()
destroy in interface javax.servlet.Servletdestroy in class javax.servlet.GenericServletprotected 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.HttpServletjavax.servlet.ServletExceptionjava.io.IOException