У меня есть веб-приложение, над которым я сейчас работаю в Python.Я использую Django в качестве своего веб-фреймворка в настоящее время.Я намерен интегрировать веб-функции в реальном времени в приложение с помощью ajax push.Тем не менее, я немного сбит с толку относительно того, какой push-сервер на основе python мне следует использовать.Я слышал о некоторых из них, Orbited, Gevent, Tornado, но моя главная проблема сейчас заключается в том, что я зеленый рог, когда дело доходит до веб-приложений реального времени.Я хотел бы использовать Python, и я хотел бы фреймворк с хорошей документацией.