PushSupplier.disconnect_push

The disconnect_push_supplier operation indicates that the peer has disconnected, for example, because it has been destroyed. The application can safe release all resource attached to this supplier and destroy it, further attempts to push events into its peer will fail.

void disconnect_push_supplier();