diff options
| author | Matthias Lang <[email protected]> | 2010-08-19 15:12:26 +0200 |
|---|---|---|
| committer | Patrik Nyblom <[email protected]> | 2012-04-17 16:11:26 +0200 |
| commit | e2277e240790930563b0833854e7bc6a8338cf5c (patch) | |
| tree | 7cadd3a34cd454ff4b26bfcc2827a6a201520cc7 /lib/hipe/cerl/erl_bif_types.erl | |
| parent | f1a49c45e4b2ec746407fd777ba31fec6cab118e (diff) | |
| download | otp-e2277e240790930563b0833854e7bc6a8338cf5c.tar.gz otp-e2277e240790930563b0833854e7bc6a8338cf5c.tar.bz2 otp-e2277e240790930563b0833854e7bc6a8338cf5c.zip | |
Extend erlang:port_info/1,2 to show the OS pid of a spawned process
When spawning OS (unix) processes with erlang:open_port, store the
resulting unix pid so that it can be queried later on using
erlang:port_info/1,2.
Diffstat (limited to 'lib/hipe/cerl/erl_bif_types.erl')
| -rw-r--r-- | lib/hipe/cerl/erl_bif_types.erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/hipe/cerl/erl_bif_types.erl b/lib/hipe/cerl/erl_bif_types.erl index 0c2e846010..c443b911d6 100644 --- a/lib/hipe/cerl/erl_bif_types.erl +++ b/lib/hipe/cerl/erl_bif_types.erl @@ -3789,7 +3789,7 @@ arg_types(erlang, port_info, 1) -> arg_types(erlang, port_info, 2) -> [t_sup(t_port(), t_atom()), t_atoms(['registered_name', 'id', 'connected', - 'links', 'name', 'input', 'output'])]; + 'links', 'name', 'input', 'output', 'os_pid'])]; arg_types(erlang, port_to_list, 1) -> [t_port()]; arg_types(erlang, ports, 0) -> |