The KILL command

KILL [-<sigspec>] <pid> [force]

Allows a client to signal or terminate an EE.

• $<$sigspec$>$ is the (symbolic or numeric) Unix signal to be sent to the EE (note that the '-' prefix is required). If not specified, Anetd attempts to terminate the EE by sending it, in order, the signals SIGINT, SIGTERM, and SIGKILL until either the thread terminates or each signal has been sent.
• $<$pid$>$ is the PID of the thread to be terminated by Anetd.

The $<$pid$>$ value should be retrieved by using the QUERY command. Only the principal that started the EE, or a principal with the necessary privilege, may signal or terminate an EE. When a thread terminates, Anetd will automatically garbage-collect all resources allocated to the terminated service.

As of version 1.6.7, users with administrative privilege may specify the PID of the Anetd process to have Anetd signal itself. In this case, Anetd first checks whether the signal is likely to cause it to terminate. If so, it issues a warning to that effect and does not send the signal. Such signals may be forced without warning by appending the keyword ``force'' to the command. See also the RAISE command.

Example 3.10

$ sc d04 QUERY        
text/ancors: anpub@d04.csl.sri.com:3322 RELEASE_1_6_6 bsd44
anetd_uptime 1:02:42:01
_________________________________________
130.107.19.104: "<no description>" ("anetd_ee.udp.963522454.bsd44", pid 20390,
    not permanent, anep_id 0, uptime 0:00:37:19, 
    working_dir "/home/anpub/anetd/var/68136b82", autokill on)

$ sc d04 KILL 20390
text/ancors: anpub@d04.csl.sri.com:3322 RELEASE_1_6_6 bsd44
KILL: pid 20390 terminated

Example 3.11

$ sc d02 QUERY        
text/ancors: anpub@d02.csl.sri.com:3322 RELEASE_1_6_6 bsd44
anetd_uptime 1:17:33:29
_________________________________________
130.107.19.102: "<no description>" ("anetd_ee.udp.963522454.bsd44", pid 17134,
    not permanent, anep_id 0, uptime 0:00:37:19,
    working_dir "/home/anpub/anetd/var/66136b82", autokill on)

$ sc d02 KILL -TERM 17134
text/ancors: anpub@d02.csl.sri.com:3322 RELEASE_1_6_6 bsd44
KILL: pid 17134, sent signal 15 (Terminated)