001package org.granite.gravity.jetty8;
002
003import javax.servlet.ServletConfig;
004import javax.servlet.ServletException;
005import javax.servlet.http.HttpServletRequest;
006
007import org.eclipse.jetty.websocket.WebSocket;
008import org.eclipse.jetty.websocket.WebSocketHandler;
009import org.eclipse.jetty.websocket.WebSocketServlet;
010import org.granite.gravity.GravityServletUtil;
011
012
013public class JettyWebSocketServlet extends WebSocketServlet {
014        
015        private static final long serialVersionUID = 1L;
016        
017        private WebSocketHandler webSocketHandler;
018        
019        @Override
020        public void init(ServletConfig config) throws ServletException {
021                super.init(config);
022                
023                GravityServletUtil.init(config);
024                
025                webSocketHandler = new JettyWebSocketHandler(getServletContext());
026        }
027
028        
029        public WebSocket doWebSocketConnect(HttpServletRequest request, String protocol) {
030                return webSocketHandler.doWebSocketConnect(request, protocol);
031        }
032}