push-to-pull

Convert a push-filter to a pull-filter (for simple streams)

push-to-pull

Convert a push-filter to a pull-filter (for simple streams)