A generic real-time data processor written in web2py