1 /*
2    +----------------------------------------------------------------------+
3    | Copyright (c) The PHP Group                                          |
4    +----------------------------------------------------------------------+
5    | This source file is subject to version 3.01 of the PHP license,      |
6    | that is bundled with this package in the file LICENSE, and is        |
7    | available through the world-wide-web at the following url:           |
8    | https://www.php.net/license/3_01.txt                                 |
9    | If you did not receive a copy of the PHP license and are unable to   |
10    | obtain it through the world-wide-web, please send a note to          |
11    | license@php.net so we can mail you a copy immediately.               |
12    +----------------------------------------------------------------------+
13    | Author: Kévin Dunglas <kevin@dunglas.dev>                            |
14    +----------------------------------------------------------------------+
15  */
16 
17 #ifndef ZEND_MAX_EXECUTION_TIMER_H
18 #define ZEND_MAX_EXECUTION_TIMER_H
19 
20 # ifdef ZEND_MAX_EXECUTION_TIMERS
21 
22 #include "zend_long.h"
23 
24 /* Must be called after calls to fork() */
25 ZEND_API void zend_max_execution_timer_init(void);
26 void zend_max_execution_timer_settime(zend_long seconds);
27 void zend_max_execution_timer_shutdown(void);
28 
29 # else
30 
31 #define zend_max_execution_timer_init()
32 #define zend_max_execution_timer_settime(seconds)
33 #define zend_max_execution_timer_shutdown()
34 
35 # endif
36 #endif
37