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.ServletContext;
025
026import org.eclipse.jetty.server.Server;
027import org.eclipse.jetty.server.nio.SelectChannelConnector;
028import org.eclipse.jetty.websocket.WebSocketHandler;
029
030
031public class EmbeddedJettyWebSocketServer extends Server {
032        
033        private int serverPort = 81;
034        
035        public void setServerPort(int serverPort) {
036                this.serverPort = serverPort;
037        }
038        
039        
040    public EmbeddedJettyWebSocketServer(ServletContext servletContext) {
041        SelectChannelConnector connector = new SelectChannelConnector();
042        connector.setPort(serverPort);
043        addConnector(connector);
044        
045        WebSocketHandler handler = new JettyWebSocketHandler(servletContext);                           
046        setHandler(handler);
047    }
048}