public class MyEventSourceServlet
extends org.eclipse.jetty.servlets.EventSourceServlet
Modifier and Type | Method and Description |
---|---|
void |
destroy() |
protected org.eclipse.jetty.servlets.EventSource |
newEventSource(javax.servlet.http.HttpServletRequest request) |
doGet, init, open, respond
doDelete, doHead, doOptions, doPost, doPut, doTrace, getLastModified, service, service
protected org.eclipse.jetty.servlets.EventSource newEventSource(javax.servlet.http.HttpServletRequest request)
newEventSource
in class org.eclipse.jetty.servlets.EventSourceServlet
public void destroy()
destroy
in interface javax.servlet.Servlet
destroy
in class org.eclipse.jetty.servlets.EventSourceServlet
Copyright © 2017 – 2022 Eclipse Foundation. All rights reserved.
Use is subject to license terms.