12345678910111213141516171819202122232425262728293031323334353637383940414243 |
- #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
|