PushConsumer.disconnect_push

The disconnect_push_consumer operation indicates that the peer has disconnected, for example, because it has been destroyed. The application can safely release all resources attached to this consumer and destroy it, no further push() calls should be expected.

void disconnect_push_consumer();