search

rheem-ecosystem / rheem

Rheem - a cross-platform data processing system
https://rheem-ecosystem.github.io
5 stars 0 forks source link

Close loop-related resource leak #35

Closed sekruse closed 7 years ago

sekruse commented 7 years ago

This PR fixes the resource leakage identified in #34.