WSGI server and OpenLayers exemple fix