1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 08:12:21 +01:00
Files
archived-php-src/sapi/phpdbg
Nikita Popov 14f599ea7d Use zend_long for resource ID
Currently, resource IDs are limited to 32-bits. As resource IDs
are not reused, this means that resource ID overflow for
long-running processes is very possible.

This patch switches resource IDs to use zend_long instead, which
means that on 64-bit systems, 64-bit resource IDs will be used.
This makes resource ID overflow practically impossible.

The tradeoff is an 8 byte increase in zend_resource size.

Closes GH-7436.
2021-08-31 14:58:59 +02:00
..
2021-06-13 21:08:35 +02:00
2021-06-13 21:08:35 +02:00
2021-06-13 21:08:35 +02:00
2021-06-13 21:08:35 +02:00
2021-08-31 14:58:59 +02:00
2021-06-13 21:08:35 +02:00
2020-02-03 13:41:31 +01:00