Eventsource or Server Sent Events are messages sent from a server to a web browser. It allows one to refresh a page "live", ie, without the need to reload it entirely.
The eventsource server is easy to set-up.
python-redis python-trollius python-trollius-redis
Note
We ship a systemd unit file for pagure_milter but we welcome patches for scripts for other init systems.
| Source | Destination |
|---|---|
ev-server/pagure-stream-server.py |
/usr/libexec/pagure-ev/pagure-stream-server.py |
ev-server/pagure_ev.service |
/etc/systemd/system/pagure_ev.service |
The first file is the script of the SSE server itself.
The second file is the systemd service file.
systemctl enable redis systemctl start redis systemctl enable pagure_ev systemctl start pagure_ev