From e2277e240790930563b0833854e7bc6a8338cf5c Mon Sep 17 00:00:00 2001
From: Matthias Lang <matthias@corelatus.com>
Date: Thu, 19 Aug 2010 15:12:26 +0200
Subject: 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.
---
 erts/doc/src/erlang.xml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'erts/doc/src')

diff --git a/erts/doc/src/erlang.xml b/erts/doc/src/erlang.xml
index 0963904b83..2fbfe6eb74 100644
--- a/erts/doc/src/erlang.xml
+++ b/erts/doc/src/erlang.xml
@@ -3573,6 +3573,10 @@ os_prompt% </pre>
             <p><c>Bytes</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>Port</c> is not a local port.</p>
       </desc>
-- 
cgit v1.2.3