ProcessTools
class ProcessTools (View source)
Methods
static bool
term(int $pid, int $lagger_timeout = 0, int $signal = SIGTERM)
Terminate a process, asking PID to terminate or killing it directly.
static bool
kill(int $pid)
Kill a process
static
signal($pid, $signal = SIGUSR1)
No description
static bool
isRunning(int $pid)
Return true if process is still running, false otherwise
static int
getNiceness(int|null $pid = null)
Get niceness of a running process
static bool
setNiceness($niceness, $pid = null)
Set niceness of a running process
static int
getPid()
Get current process PID
Details
at line 32
static bool
term(int $pid, int $lagger_timeout = 0, int $signal = SIGTERM)
Terminate a process, asking PID to terminate or killing it directly.
at line 56
static bool
kill(int $pid)
Kill a process
at line 63
static
signal($pid, $signal = SIGUSR1)
at line 75
static bool
isRunning(int $pid)
Return true if process is still running, false otherwise
at line 87
static int
getNiceness(int|null $pid = null)
Get niceness of a running process
at line 99
static bool
setNiceness($niceness, $pid = null)
Set niceness of a running process
at line 110
static int
getPid()
Get current process PID