Table of Contents

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