======process_kill====== WMPRO, WMMINI FW >= 1.0 WMMEGA FW >= 2.0 Send a kill request to a process ====Description==== process_kill ( int $pid ) 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. ====Parameter==== $pid: The process ID, which can be obtained by using [[process_list()]] ====Return Values==== None ====See Also==== [[process_list()]] - Return an array of the currently running scripts