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