mirror of
https://github.com/php/php-src.git
synced 2026-03-27 01:32:22 +01:00
this always resulted in a coredump (after everything was finished, so only visible in the logfile). So it seems to be neccesary to copy the contents of the result of get_buffer, to avoid this coredump.