Lars Kruse authored Jul 16, 2023

See https://developer.mozilla.org/en-US/docs/Web/API/Server-sent_events