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
..
2018-10-14 12:54:08 +02:00
2018-10-14 12:54:08 +02:00
2018-10-13 14:14:50 +02:00
2018-10-14 12:54:08 +02:00
2018-10-13 14:14:50 +02:00
2006-01-04 23:55:42 +00:00
2013-10-17 09:43:52 +02:00
2016-12-22 14:56:47 +01:00
2018-10-13 14:14:50 +02:00
2017-07-04 17:06:52 +02:00
2017-07-04 17:06:52 +02:00
2017-07-04 17:06:52 +02:00
2014-10-05 13:20:27 +02:00
2018-01-02 12:55:14 +08:00
2018-01-02 12:55:14 +08:00
2017-12-21 13:49:05 +01:00
2019-06-04 16:12:59 +02:00
2018-10-13 14:14:50 +02:00