Home
last modified time | relevance | path

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

/PHP-7.2/Zend/
H A Dzend_generators.h105 ZEND_API void zend_generator_close(zend_generator *generator, zend_bool finished_execution);
H A Dzend_generators.c118 ZEND_API void zend_generator_close(zend_generator *generator, zend_bool finished_execution) /* {{{ … in zend_generator_close() argument
147 if (UNEXPECTED(!finished_execution)) { in zend_generator_close()

Completed in 9 milliseconds