| jobs.status | Index Level | kill-resizing |
| Syntax | kill {-[signo|signame] } [pid|ppib] { [pid|ppib] ... } |
| Category | TCL |
| Type | Verb |
| Description |
sends a Unix signal to a Pick or Unix process.
Signals can be specified by their usual names, rather than their number, and Pick processes by their port numbers instead of Unix process-ids ("pid's"). signalno is the optional signal number in decimal. If not specified, "SIGTERM" is sent. signame is the optional signal name. Among the valid signal lists are: {SIG}TERM, {SIG}HUP, and {SIG}USR2. If not specified, SIGTERM is sent. p pib indicates the Pick pib (port.number), prefixed by the letter "p". 'kill' checks that none of the specified processes have a process-id of 0 (zero), which would mean 'kill all processes in the group', usually resulting in an abrupt shutdown of the Pick virtual machine. |
| Options | |
| See Also | port.number d3 pid pid psr %KILL |
| Example |
kill p17
Kills the (Unix) process associated with port 17. kill -sigalrm p33 7143 Sends a sinal, "sigalrm", to the Unix process associated with port 33 and to the Unix process whose process-id is 7143. kill -1 p0 Sends a "sighup" to port 0. |
| Warnings |
Killing the flush process will log Pick processes off immediately and shut down the entire virtual machine. Killing the flusher can be accomplished by using the form 'P<process number>' with a pib number equal to -2:
kill p-2 This should not be the normal way to shut down a virtual machine, because it loses overflow. It can be used only to do an emergency shut down, due to a imminent power failure, for instance. |
| Compatibility | D3/Unix AP 6.0 |
| jobs.status | Index Level | kill-resizing |