diff options
author | Zeev Suraski <zeev@php.net> | 2000-12-05 13:04:05 +0000 |
---|---|---|
committer | Zeev Suraski <zeev@php.net> | 2000-12-05 13:04:05 +0000 |
commit | 848e51fda588059b870ace887fb47bb758e9fda1 (patch) | |
tree | 88ffb51b1912b0ed7309693e53e92fa6649942c4 /Zend | |
parent | 2b846ec7e5fdb35a248ea38395d6581abe66be5c (diff) | |
download | php-git-848e51fda588059b870ace887fb47bb758e9fda1.tar.gz |
Expose all timeout functions
Diffstat (limited to 'Zend')
-rw-r--r-- | Zend/zend_execute.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Zend/zend_execute.h b/Zend/zend_execute.h index 68ca747b76..6a5680d1fc 100644 --- a/Zend/zend_execute.h +++ b/Zend/zend_execute.h @@ -139,8 +139,8 @@ ZEND_API char *zend_get_executed_filename(ELS_D); ZEND_API uint zend_get_executed_lineno(ELS_D); ZEND_API zend_bool zend_is_executing(void); -void zend_set_timeout(long seconds); -void zend_unset_timeout(void); +ZEND_API void zend_set_timeout(long seconds); +ZEND_API void zend_unset_timeout(void); ZEND_API void zend_timeout(int dummy); #ifdef ZEND_WIN32 |