HTTP server push of application events