Github user StefanRRichter commented on the issue:
https://github.com/apache/flink/pull/5578
Ok, I took another look at the complete picture and from the test got the
feeling that retrieval and pruning should be two separated concerns and that
not only should we have two internal methods, but maybe also expose them as
different methods. For the sake to keep this short, I made a proposal in this
branch:
https://github.com/StefanRRichter/flink/tree/improve_resource_release_for_local_recovery
If you like the change, I would squash it and commit under your name,
because you did all of the important parts. What do you think?
---
