diff options
| author | Nikita Popov <nikic@php.net> | 2012-08-24 15:50:53 +0200 |
|---|---|---|
| committer | Nikita Popov <nikic@php.net> | 2012-08-24 19:10:09 +0200 |
| commit | 4d8edda341efef1901365f10213c027e745ac7ab (patch) | |
| tree | 2f69b955ebbdfa67aee4899d94a693cf7529e952 /Zend/zend_generators.h | |
| parent | 7cdf6367a51a54fce8676aeb6fd32bf91b00f84b (diff) | |
| download | php-git-4d8edda341efef1901365f10213c027e745ac7ab.tar.gz | |
Run finally if generator is closed before finishing
Diffstat (limited to 'Zend/zend_generators.h')
| -rw-r--r-- | Zend/zend_generators.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Zend/zend_generators.h b/Zend/zend_generators.h index f5f4926e35..37ffbbd6cc 100644 --- a/Zend/zend_generators.h +++ b/Zend/zend_generators.h @@ -53,6 +53,7 @@ extern ZEND_API zend_class_entry *zend_ce_generator; void zend_register_generator_ce(TSRMLS_D); zval *zend_generator_create_zval(zend_op_array *op_array TSRMLS_DC); void zend_generator_close(zend_generator *generator, zend_bool finished_execution TSRMLS_DC); +void zend_generator_resume(zend_generator *generator TSRMLS_DC); END_EXTERN_C() |