David Walker
b09c2f899e
Fixed bug #73783
...
Bug #73783 raises an issue with signal handling when using SIG_IGN.
With PHP7.1 ZEND_SIGNALS is defaulted to on, which will for all
signals set the handler as zend_signal_handler_defer. This is
problematic for syscalls like sleep(), which will only return when the
requisite number of seconds have elapsed, or, a non-ignored signal is
raised. In this case we want to SIG_IGN SIGCHLD, however, SIG_IGN is
only stored in the SIGG(handlers) array, and the actual system level
handler is defined. This prevents proper signal ignoring when requeted.
2016-12-29 21:18:22 +01:00
..
2016-10-14 10:54:47 +02:00
2016-11-05 14:00:47 -07:00
2016-11-17 11:45:14 +03:00
2016-12-12 01:56:44 +01:00
2016-12-27 21:52:33 +01:00
2016-11-30 14:41:26 -05:00
2016-08-25 18:41:45 +02:00
2016-10-14 01:40:12 +02:00
2016-09-04 20:58:09 -07:00
2016-11-24 19:27:50 +01:00
2016-09-09 14:43:16 +02:00
2016-08-30 13:45:49 +02:00
2016-11-27 14:53:39 -08:00
2016-09-11 22:44:46 +01:00
2016-09-03 13:05:37 +02:00
2016-11-01 09:35:54 -07:00
2016-11-03 21:35:09 -07:00
2016-11-08 11:15:06 +01:00
2016-11-16 10:47:02 +01:00
2016-12-01 16:22:23 +03:00
2016-12-07 17:50:05 +01:00
2016-09-12 21:04:23 -07:00
2016-12-17 20:46:09 +01:00
2016-11-22 00:32:42 +01:00
2016-12-12 21:52:59 +02:00
2016-12-12 21:59:29 +02:00
2016-10-17 12:40:14 +11:00
2016-11-07 21:19:04 +01:00
2016-12-29 21:00:14 +01:00
2016-12-29 21:00:14 +01:00
2016-12-29 21:18:22 +01:00
2016-11-26 16:09:45 +01:00
2016-12-19 01:08:44 +01:00
2016-12-07 17:09:09 -05:00
2016-12-25 22:07:09 -08:00
2016-12-15 09:32:04 +01:00
2016-12-15 12:32:35 +01:00
2016-11-08 02:35:33 +01:00
2016-12-01 01:36:29 +01:00
2016-12-17 00:12:33 +01:00
2016-09-03 13:05:37 +02:00
2016-11-18 12:00:02 +01:00
2016-09-12 21:04:23 -07:00
2016-12-18 17:10:54 +01:00
2016-12-10 16:43:17 +08:00
2016-10-07 16:35:37 +02:00
2016-10-14 01:43:54 +02:00
2016-11-22 00:32:42 +01:00
2016-12-13 17:57:14 +01:00
2016-11-22 00:32:42 +01:00
2016-12-09 22:30:24 +08:00
2016-12-29 13:54:11 +01:00
2016-12-19 11:13:02 +03:00
2016-08-18 16:29:46 +02:00
2016-11-09 11:28:50 +01:00
2016-12-06 16:12:39 +01:00
2016-11-22 00:32:42 +01:00
2016-09-11 00:14:49 +02:00
2016-11-05 14:00:47 -07:00
2016-11-03 22:53:05 -07:00
2016-12-22 15:31:39 +01:00