A simple demo of Server-Sent Events with Gevent and Flask adapted to Leaflet map case