WMPRO, WMMINI FW >= 1.0 WMMEGA FW >= 2.0
Send a kill request to a process
This function attempts to end a running script. This does not ensure the process will die, it merely does it's best by setting flags in the running process that it should terminate after the next instruction. If for some reason a script has frozen, it may not actually terminate in which case it will still be listed in the process list.
$pid: The process ID, which can be obtained by using process_list()
None
process_list() - Return an array of the currently running scripts