Servidor Push

[jebus3]

Hola
Estoy realizando un sistema en el cual necesito implementar un servidor Push con el cual tendré un gran cantidad de tráfico de llamadas en tiempo real, he probado con ejemplos de node.js y me ha resultado un buen comienzo, pero leyendo un poco más he encontrado sobre tornado que está en python y jetty de java entre otros me gustaría saber cuál sería mi mejor opción según su experiencia y si saben de algún otro me pueden contar para averiguar más de él.