135136137138139140141142143144
{ mapping = new ServerHandlerMapping(); mapping.setDefaultHandler( handler ); } mapping.addHandlerMapping( PingRequest.UNIQUE_NAME, new PingHandler() ); _serverInfo.setHandler( handler ); _serverInfo.setPort( port ); }