public abstract class RemoteHttpServlet
extends javax.servlet.http.HttpServlet
implements java.rmi.Remote
RemoteDaemonHttpServlet
,
Serialized FormModifier and Type | Field and Description |
---|---|
protected java.rmi.registry.Registry |
registry
The registry for the servlet
|
Constructor and Description |
---|
RemoteHttpServlet() |
Modifier and Type | Method and Description |
---|---|
protected void |
bind()
Binds the servlet to the registry.
|
void |
destroy()
Halts the servlet's RMI operations.
|
protected java.lang.String |
getRegistryName()
Returns the name under which the servlet should be bound in the
registry.
|
protected int |
getRegistryPort()
Returns the port where the registry should be running.
|
void |
init(javax.servlet.ServletConfig config)
Begins the servlet's RMI operations.
|
protected void |
unbind()
Unbinds the servlet from the registry.
|
doDelete, doGet, doHead, doOptions, doPost, doPut, doTrace, getLastModified, service, service
public void init(javax.servlet.ServletConfig config) throws javax.servlet.ServletException
init
in interface javax.servlet.Servlet
init
in class javax.servlet.GenericServlet
config
- the servlet configjavax.servlet.ServletException
- if a servlet exception occurspublic void destroy()
destroy
in interface javax.servlet.Servlet
destroy
in class javax.servlet.GenericServlet
protected java.lang.String getRegistryName()
protected int getRegistryPort()
protected void bind()
protected void unbind()