001    package org.granite.gravity.jetty8;
002    
003    import javax.servlet.ServletContext;
004    
005    import org.eclipse.jetty.server.Server;
006    import org.eclipse.jetty.server.nio.SelectChannelConnector;
007    import org.eclipse.jetty.websocket.WebSocketHandler;
008    
009    
010    public 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    }