001package org.granite.gravity.jetty8;
002
003import javax.servlet.ServletContext;
004
005import org.eclipse.jetty.server.Server;
006import org.eclipse.jetty.server.nio.SelectChannelConnector;
007import org.eclipse.jetty.websocket.WebSocketHandler;
008
009
010public class EmbeddedJettyWebSocketServer extends Server {
011        
012        private int serverPort = 81;
013        
014        public void setServerPort(int serverPort) {
015                this.serverPort = serverPort;
016        }
017        
018        
019    public EmbeddedJettyWebSocketServer(ServletContext servletContext) {
020        SelectChannelConnector connector = new SelectChannelConnector();
021        connector.setPort(serverPort);
022        addConnector(connector);
023        
024        WebSocketHandler handler = new JettyWebSocketHandler(servletContext);                           
025        setHandler(handler);
026    }
027}