The ServerEvent message now works, with two different messages types
using a JSON encoding.