Next:
SERVER_killBackgroundJob
Up:
./inc/server.php
Previous:
SERVER_existsServerSetting
Contents
SERVER_killPID
Description:
Kills a process running under a given PID or sends a signal.
Parameter:
: pid: The PID of the process to kill.
: signal: The signal to send to the process.
Returns:
: True if the process was killed or got the signal.