Server push example using messaging