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 */
022package org.granite.gravity.jetty8;
023
024import javax.servlet.ServletConfig;
025import javax.servlet.ServletException;
026import javax.servlet.http.HttpServletRequest;
027
028import org.eclipse.jetty.websocket.WebSocket;
029import org.eclipse.jetty.websocket.WebSocketHandler;
030import org.eclipse.jetty.websocket.WebSocketServlet;
031import org.granite.gravity.GravityServletUtil;
032
033
034public 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}