On the nginx website, they are two modules for HTTP PUSH.
Here they are:
http://pushmodule.slact.net/ as well as http://wiki.nginx.org/HttpPushStreamModule
Which is better?
Did you use one of them? Which one do you prefer?
Thanks in advance.
I selected the HttpPushStreamModule ( https://github.com/wandenberg/nginx-push-stream-module ).
This is better. Now it supports websockets.