PullSupplier.disconnect_pull

The disconnect_pull_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, the peer should not make any attempts to pull more data after this request.

void disconnect_pull_supplier();