mirror of
https://github.com/php/php-src.git
synced 2026-03-24 08:12:21 +01:00
If TSRM is shut down and started again (something that phpdbg does), then tsrmls_id needs to be reloaded everywhere. As tsrmls_id update is a rare operation, doing that shouldn't be a problem.