From d4667d383964c1550e0a91d64b674e84f6d07e3b 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')

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>
-- 
cgit v1.2.3