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.ServletContext;
025    
026    import org.eclipse.jetty.server.Server;
027    import org.eclipse.jetty.server.nio.SelectChannelConnector;
028    import org.eclipse.jetty.websocket.WebSocketHandler;
029    
030    
031    public 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    }