Searched refs:finished_execution (Results 1 – 2 of 2) sorted by relevance
100 ZEND_API void zend_generator_close(zend_generator *generator, zend_bool finished_execution);
133 ZEND_API void zend_generator_close(zend_generator *generator, zend_bool finished_execution) /* {{{ … in zend_generator_close() argument165 if (UNEXPECTED(!finished_execution)) { in zend_generator_close()
Completed in 8 milliseconds