rename pid to process
This commit is contained in:
committed by
Bennet Bleßmann
parent
129c80bf16
commit
e321f29b9c
@@ -16,7 +16,7 @@ process_create(Exe, Args, Options) :-
|
|||||||
([stdout], valid_stdio, stdout(std), stdout(Stdout)),
|
([stdout], valid_stdio, stdout(std), stdout(Stdout)),
|
||||||
([stderr], valid_stdio, stderr(std), stderr(Stderr)),
|
([stderr], valid_stdio, stderr(std), stderr(Stderr)),
|
||||||
([env, environment], valid_env, environment([]), Env),
|
([env, environment], valid_env, environment([]), Env),
|
||||||
([pid], valid_pid, pid(_), pid(Pid)),
|
([process], valid_pid, process(_), process(Pid)),
|
||||||
([cwd], valid_cwd, cwd("."), cwd(Cwd))
|
([cwd], valid_cwd, cwd("."), cwd(Cwd))
|
||||||
],
|
],
|
||||||
Options
|
Options
|
||||||
|
|||||||
Reference in New Issue
Block a user