[Python] Handling websockets in python

I am developing a messaging service that uses websockets. And I shall be using python/django as a server side language. There are options such as:

1. Tornado
2. django-websockets-redis
3. Crossbar.io
4. Flask-SocketIO

I am confused by what should I be using for the production environment where the number of active connections is large.

Continue reading...