1234567891011121314151617181920212223242526272829303132333435363738394041 |
- #ifndef PHP_PS_TITLE_HEADER
- #define PHP_PS_TITLE_HEADER
- ZEND_BEGIN_ARG_INFO(arginfo_cli_set_process_title, 0)
- ZEND_ARG_INFO(0, title)
- ZEND_END_ARG_INFO()
- ZEND_BEGIN_ARG_INFO(arginfo_cli_get_process_title, 0)
- ZEND_END_ARG_INFO()
- PHP_FUNCTION(cli_set_process_title);
- PHP_FUNCTION(cli_get_process_title);
- #endif
|