Nikita Popov 2d3bc71e89 Reload tsrmls_id in release builds as well ...

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.

2019-06-04 16:12:59 +02:00

6.2 KiB

Raw Blame History

View Raw