diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-06-04 15:23:10 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-06-04 16:12:59 +0200 |
commit | 2d3bc71e89e270e90ba0886eef37ea106f010ca0 (patch) | |
tree | 259b0b863da9e7de2c66e9c55c8cc17d35580328 /TSRM/Makefile.am | |
parent | ac60007becc7943d1da95ec0f9f92c6a3325ec72 (diff) | |
download | php-git-2d3bc71e89e270e90ba0886eef37ea106f010ca0.tar.gz |
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.
Diffstat (limited to 'TSRM/Makefile.am')
0 files changed, 0 insertions, 0 deletions