Wattmon Documentation Wiki

This is an old revision of the document!

---

process_kill(int $process_id)

Tries to end a running script with process id passed to it. Get the process id from process_list().

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.