mirror of
https://github.com/php/php-src.git
synced 2026-04-21 23:18:13 +02:00
8f1ff9e85e
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.
4.7 KiB
4.7 KiB