More fixes for the wsgi server