static integer background(
string
$command )
|
|
Ejecuta un comando en background
Parámetros:
static \type buscar_pids(
\type
$match )
|
|
Busca PIDs que concuerden con el criterio indicado
Parámetros:
static string crear_identificador(
mixed
$id )
|
|
Genera un identificador
Parámetros:
static integer ejecutar(
string
$cmd ,
string
$stdout ,
string
$stderr )
|
|
Ejecuta un comando especifico redireccionando la salida de consola
Parámetros:
string |
$cmd: |
|
string |
$stdout: |
|
string |
$stderr: |
|
static boolean is_running(
integer
$PID )
|
|
Determina si existe en ejecucion un proceso con el PID dado
Parámetros:
static boolean kill(
integer
$PID )
|
|
Mata el proceso que tenga el PID indicado
Parámetros:
static quitar_identificador(
$cadena )
|
|
Parámetros: