aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe
diff options
context:
space:
mode:
authorMatthias Lang <[email protected]>2010-08-19 15:12:26 +0200
committerPatrik Nyblom <[email protected]>2012-04-17 16:11:26 +0200
commite2277e240790930563b0833854e7bc6a8338cf5c (patch)
tree7cadd3a34cd454ff4b26bfcc2827a6a201520cc7 /lib/hipe
parentf1a49c45e4b2ec746407fd777ba31fec6cab118e (diff)
downloadotp-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')
-rw-r--r--lib/hipe/cerl/erl_bif_types.erl2
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) ->