diff options
author | Wez Furlong <wez@php.net> | 2003-02-15 17:18:57 +0000 |
---|---|---|
committer | Wez Furlong <wez@php.net> | 2003-02-15 17:18:57 +0000 |
commit | c3c24054e8e9546006fe406cc09ad2e16a73a528 (patch) | |
tree | 146310f513f5577a484e7c0f61cd29efa06fe95b /ext/standard/exec.h | |
parent | 8a07cc45cfb3cfad38a65f027e59b2e1d02f091e (diff) | |
download | php-git-c3c24054e8e9546006fe406cc09ad2e16a73a528.tar.gz |
Add proc_terminate() function to forcibly kill off a process created
with proc_open().
Diffstat (limited to 'ext/standard/exec.h')
-rw-r--r-- | ext/standard/exec.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/standard/exec.h b/ext/standard/exec.h index cdfe8a54ed..796701317f 100644 --- a/ext/standard/exec.h +++ b/ext/standard/exec.h @@ -30,6 +30,7 @@ PHP_FUNCTION(shell_exec); PHP_FUNCTION(proc_open); PHP_FUNCTION(proc_get_status); PHP_FUNCTION(proc_close); +PHP_FUNCTION(proc_terminate); PHP_MINIT_FUNCTION(proc_open); char *php_escape_shell_cmd(char *); |