mirror of
https://github.com/php/php-src.git
synced 2025-08-15 13:38:49 +02:00
parent
8d4e177d82
commit
b45e7a613f
1 changed files with 3 additions and 1 deletions
|
@ -280,7 +280,9 @@ int fuzzer_do_request_from_buffer(
|
||||||
|
|
||||||
CG(compiled_filename) = NULL; /* ??? */
|
CG(compiled_filename) = NULL; /* ??? */
|
||||||
if (before_shutdown) {
|
if (before_shutdown) {
|
||||||
before_shutdown();
|
zend_try {
|
||||||
|
before_shutdown();
|
||||||
|
} zend_end_try();
|
||||||
}
|
}
|
||||||
fuzzer_request_shutdown();
|
fuzzer_request_shutdown();
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue