diff options
author | Remi Collet <remi@remirepo.net> | 2019-10-24 08:20:00 +0200 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2019-10-24 08:20:00 +0200 |
commit | e5f40da8075b343c3211e09a092d2519d7d4952f (patch) | |
tree | 120563b810cb5662dd0e433c7d6070fe1aa0324f /05c5e5dfde91955263469daa2dd5afcbb5199d17.patch | |
parent | 936c7462fc412475b9277dd939ebf073ca410974 (diff) |
allow wildcards in ffi.preload
Diffstat (limited to '05c5e5dfde91955263469daa2dd5afcbb5199d17.patch')
-rw-r--r-- | 05c5e5dfde91955263469daa2dd5afcbb5199d17.patch | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/05c5e5dfde91955263469daa2dd5afcbb5199d17.patch b/05c5e5dfde91955263469daa2dd5afcbb5199d17.patch deleted file mode 100644 index 81cdc23..0000000 --- a/05c5e5dfde91955263469daa2dd5afcbb5199d17.patch +++ /dev/null @@ -1,26 +0,0 @@ -From 05c5e5dfde91955263469daa2dd5afcbb5199d17 Mon Sep 17 00:00:00 2001 -From: Dmitry Stogov <dmitry@zend.com> -Date: Mon, 21 Oct 2019 14:52:26 +0300 -Subject: [PATCH] Fixed bug #78512 (Cannot make preload work) - ---- - NEWS | 3 +++ - ext/opcache/ZendAccelerator.c | 5 +++++ - 2 files changed, 8 insertions(+) - -diff --git a/ext/opcache/ZendAccelerator.c b/ext/opcache/ZendAccelerator.c -index 056c7739a0b6..636058dd0875 100644 ---- a/ext/opcache/ZendAccelerator.c -+++ b/ext/opcache/ZendAccelerator.c -@@ -4565,6 +4565,11 @@ static int accel_finish_startup(void) - zend_accel_error(ACCEL_LOG_FATAL, "Preloading failed to waitpid(%d)", pid); - return FAILURE; - } -+ -+ if (ZCSG(preload_script)) { -+ preload_load(); -+ } -+ - zend_shared_alloc_unlock(); - if (WIFEXITED(status) && WEXITSTATUS(status) == 0) { - return SUCCESS; |