kill (pid, signo)
The process id number.
The signal number, normally one of the built-in signal values.
This process functions similarly to the kill shell command. Signals and their descriptions can be found in signal.
Copyright © 1995-2010 by Cogent Real-Time Systems, Inc. All rights reserved.