mirror of
https://github.com/moodle/moodle.git
synced 2025-07-25 08:11:39 +02:00
And do it as soon as it's not needed any more. Else, only _destruct() / shutdown / gc will, and that can be problematic if many streams are open, or, under some environments like Windows that consider the stream underlying files still busy, because they have not been closed.