port the http publisher from plain wsgi to a Flask app