001    /**
002     *   GRANITE DATA SERVICES
003     *   Copyright (C) 2006-2013 GRANITE DATA SERVICES S.A.S.
004     *
005     *   This file is part of the Granite Data Services Platform.
006     *
007     *   Granite Data Services is free software; you can redistribute it and/or
008     *   modify it under the terms of the GNU Lesser General Public
009     *   License as published by the Free Software Foundation; either
010     *   version 2.1 of the License, or (at your option) any later version.
011     *
012     *   Granite Data Services is distributed in the hope that it will be useful,
013     *   but WITHOUT ANY WARRANTY; without even the implied warranty of
014     *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser
015     *   General Public License for more details.
016     *
017     *   You should have received a copy of the GNU Lesser General Public
018     *   License along with this library; if not, write to the Free Software
019     *   Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
020     *   USA, or see <http://www.gnu.org/licenses/>.
021     */
022    package org.granite.gravity.jetty8;
023    
024    import javax.servlet.ServletConfig;
025    import javax.servlet.ServletException;
026    import javax.servlet.http.HttpServletRequest;
027    
028    import org.eclipse.jetty.websocket.WebSocket;
029    import org.eclipse.jetty.websocket.WebSocketHandler;
030    import org.eclipse.jetty.websocket.WebSocketServlet;
031    import org.granite.gravity.GravityServletUtil;
032    
033    
034    public class JettyWebSocketServlet extends WebSocketServlet {
035            
036            private static final long serialVersionUID = 1L;
037            
038            private WebSocketHandler webSocketHandler;
039            
040            @Override
041            public void init(ServletConfig config) throws ServletException {
042                    super.init(config);
043                    
044                    GravityServletUtil.init(config);
045                    
046                    webSocketHandler = new JettyWebSocketHandler(getServletContext());
047            }
048    
049            
050            public WebSocket doWebSocketConnect(HttpServletRequest request, String protocol) {
051                    return webSocketHandler.doWebSocketConnect(request, protocol);
052            }
053    }