]> granicus.if.org Git - php/commit
Mark zend_timeout as noreturn
authorNikita Popov <nikic@php.net>
Thu, 21 Apr 2016 21:35:51 +0000 (23:35 +0200)
committerNikita Popov <nikic@php.net>
Thu, 21 Apr 2016 21:35:51 +0000 (23:35 +0200)
commit89fbce5c5ff4990a1ec2fb8fde06f802a707aa5f
treec334eed2971791c2a3ee8c02a938e0b2aaa6c221
parenta5944f8dd5c45a95bb0cfdea52dd2301fab1f39c
Mark zend_timeout as noreturn

Otherwise we get a compiler warning...
Zend/zend_execute.h
Zend/zend_execute_API.c