org.richfaces.webapp
public final class PushServlet extends org.atmosphere.cpr.AtmosphereServlet
Constructor and Description |
---|
PushServlet() |
Modifier and Type | Method and Description |
---|---|
void |
destroy() |
void |
init(javax.servlet.ServletConfig sc) |
doDelete, doGet, doHead, doOptions, doPost, doPut, doTrace, event, event, event, framework
getInitParameter, getInitParameterNames, getServletConfig, getServletContext, getServletInfo, getServletName, init, log, log
public void init(javax.servlet.ServletConfig sc) throws javax.servlet.ServletException
init
in interface javax.servlet.Servlet
init
in class org.atmosphere.cpr.AtmosphereServlet
javax.servlet.ServletException
public void destroy()
destroy
in interface javax.servlet.Servlet
destroy
in class org.atmosphere.cpr.AtmosphereServlet
Copyright © 2014 JBoss by Red Hat. All Rights Reserved.