diff options
author | Jeremy Evans <[email protected]> | 2019-07-26 08:13:34 -0700 |
---|---|---|
committer | Jeremy Evans <[email protected]> | 2019-07-26 08:13:34 -0700 |
commit | b1a2eddbfcb883c363bd67858a4dc739f4755775 (patch) | |
tree | ca08685004ef463aa0417c9eb4e85433cd821eb6 /signal.c | |
parent | 4b7d7d007fa5a06d237be6f379106feea25fca79 (diff) |
Document acceptance of negative pid in Process.kill [ci skip]
Fixes [Bug #13501]
Diffstat (limited to 'signal.c')
-rw-r--r-- | signal.c | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -419,8 +419,9 @@ static void signal_enque(int sig); * Process.kill(signal, pid, ...) -> integer * * Sends the given signal to the specified process id(s) if _pid_ is positive. - * If _pid_ is zero _signal_ is sent to all processes whose group ID is equal - * to the group ID of the process. _signal_ may be an integer signal number or + * If _pid_ is zero, _signal_ is sent to all processes whose group ID is equal + * to the group ID of the process. If _pid_ is negative, results are dependent + * on the operating system. _signal_ may be an integer signal number or * a POSIX signal name (either with or without a +SIG+ prefix). If _signal_ is * negative (or starts with a minus sign), kills process groups instead of * processes. Not all signals are available on all platforms. |