mirror of
https://github.com/php/php-src.git
synced 2026-03-24 16:22:37 +01:00
not necessary anymore. Seems to also prevent a a situation where at request shutdown cursor was first dropped and tried to close it afterwards when all the resources were not manually freed, and could occasionally segfault.