Integrating Sphinx backend
Very simply combined *Gevent* with *ZeroMQ*
Documented `GEVENT` in default configuration
*Gevent* is enabled only in web application now; added `ZmqPingQueue` and `ZmqDataQueue` to have two channels for different message profiles
Implemented the ZeroMQ part of the Sphinx converter
Better logging; symmentric code
Better clean-up after ourselves
minor
Use hex for hashes
15s expiry is enough
Encapsulated Sphinx worker within a `Worker` class
Timeout of `12 * 1000` ms is more reasonable
Added UI feedback upon conversion failure
Refactored ZMQ communication using `Converter` (and `Worker`) class; disabled message lingering my setting `LINGER` to 0 on all sockets
Removed `LINGER` value of `0`, since I prefere to stick to the default ZMQ values, (which is `-1`: infinite lingering) without further experience
minor
minor
Enabling `app.config['GEVENT']` in `webed.wsgi` had *no* effect in `sphinx.py`; therefore the `GEVENT` configuration needs to be set in `production.py`!
minor
Split apart ZeroMQ related command to `webed-zqm.py`