diff options
| author | Matthias Lang <[email protected]> | 2010-08-19 15:12:26 +0200 |
|---|---|---|
| committer | Björn-Egil Dahlberg <[email protected]> | 2012-03-16 15:46:50 +0100 |
| commit | d4667d383964c1550e0a91d64b674e84f6d07e3b (patch) | |
| tree | 68b0ff1251df66b2e211951ff8748d1ee72c0998 /erts/doc | |
| parent | 8406f47252a5f1fd38cd771aa7fa692817677709 (diff) | |
| download | otp-d4667d383964c1550e0a91d64b674e84f6d07e3b.tar.gz otp-d4667d383964c1550e0a91d64b674e84f6d07e3b.tar.bz2 otp-d4667d383964c1550e0a91d64b674e84f6d07e3b.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 'erts/doc')
| -rw-r--r-- | erts/doc/src/erlang.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/erts/doc/src/erlang.xml b/erts/doc/src/erlang.xml index 30e3b02a0a..3664bdf76d 100644 --- a/erts/doc/src/erlang.xml +++ b/erts/doc/src/erlang.xml @@ -3084,6 +3084,10 @@ os_prompt%</pre> <p><c><anno>Bytes</anno></c> is the total number of bytes written to the port.</p> </item> + <tag><c>{os_pid, Integer}</c></tag> + <item> + <p><c>Integer</c> is the OS pid of the spawned process (Unix systems only).</p> + </item> </taglist> <p>Failure: <c>badarg</c> if <c><anno>Port</anno></c> is not a local port.</p> </desc> |