Home
last modified time | relevance | path

Searched refs:finished_execution (Results 1 – 2 of 2) sorted by relevance

/php-src/Zend/
H A Dzend_generators.h107 ZEND_API void zend_generator_close(zend_generator *generator, bool finished_execution);
H A Dzend_generators.c134 ZEND_API void zend_generator_close(zend_generator *generator, bool finished_execution) /* {{{ */ in zend_generator_close() argument
166 if (UNEXPECTED(!finished_execution)) { in zend_generator_close()

Completed in 8 milliseconds