diff options
author | schmidt <douglascraigschmidt@users.noreply.github.com> | 1997-06-21 21:18:43 +0000 |
---|---|---|
committer | schmidt <douglascraigschmidt@users.noreply.github.com> | 1997-06-21 21:18:43 +0000 |
commit | 4a64648a3f05d15cfffb693e24c76997d6a58423 (patch) | |
tree | d63d31d06a4549605f6a85d9719e1f84b2bd2e29 /ace/Process_Manager.h | |
parent | f9438cf147b2b788b151f522cefe526d1a8e67c4 (diff) | |
download | ATCD-4a64648a3f05d15cfffb693e24c76997d6a58423.tar.gz |
*** empty log message ***
Diffstat (limited to 'ace/Process_Manager.h')
-rw-r--r-- | ace/Process_Manager.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ace/Process_Manager.h b/ace/Process_Manager.h index ce58be467fd..a16abbb3eac 100644 --- a/ace/Process_Manager.h +++ b/ace/Process_Manager.h @@ -79,8 +79,8 @@ public: // Block until there are no more processs running or <timeout> // expires. Returns 0 on success and -1 on failure. - int kill (pid_t, int signum); - // Kill a single process. + int terminate (pid_t pid); + // Terminate a single process with id <pid>. int remove (pid_t pid); // Remove process <pid> from the table. This is typically called by |