Como usar websocks PrimeFaces para envio de servidor com Glassfish 3.1 e JSF2

PDF do PrimeFaces diz que os websockets com push do servidor só estão disponíveis no Jetty, mas o Glassfish3.1 possui um componente de websockets com o grizzly. A documentação está errada? alguém usou esses dois para enviar push com websockets? Como isso foi feito?

questionAnswers(1)

yourAnswerToTheQuestion