aboutsummaryrefslogtreecommitdiffstats
path: root/erts/doc
diff options
context:
space:
mode:
authorPatrik Nyblom <[email protected]>2012-04-11 16:58:31 +0200
committerPatrik Nyblom <[email protected]>2012-04-17 16:13:10 +0200
commitce019aeedbe35ad9081ba7c6d0a0ffd1b035c572 (patch)
treed68e787b1949bfdb3a3001fac752224ce73e35b8 /erts/doc
parent3985e56bfa82083b23978e06809b8ab0cf9d52d8 (diff)
downloadotp-ce019aeedbe35ad9081ba7c6d0a0ffd1b035c572.tar.gz
otp-ce019aeedbe35ad9081ba7c6d0a0ffd1b035c572.tar.bz2
otp-ce019aeedbe35ad9081ba7c6d0a0ffd1b035c572.zip
Correct documentation, erl_bif_types and dialyzer tests
Diffstat (limited to 'erts/doc')
-rw-r--r--erts/doc/src/erlang.xml4
1 files changed, 2 insertions, 2 deletions
diff --git a/erts/doc/src/erlang.xml b/erts/doc/src/erlang.xml
index 2fbfe6eb74..cfc7fff3af 100644
--- a/erts/doc/src/erlang.xml
+++ b/erts/doc/src/erlang.xml
@@ -3573,9 +3573,9 @@ 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>
+ <tag><c>{os_pid, Integer | undefined}</c></tag>
<item>
- <p><c>Integer</c> is the OS pid of the spawned process (Unix systems only).</p>
+ <p><c>Integer</c> is the process identifier (or equivalent) of an OS process created with <c>open_port({spawn | spawn_executable, Command}, Options)</c>. If the port is not the result of spawning an OS process, the value is <c>undefined</c>.</p>
</item>
</taglist>
<p>Failure: <c>badarg</c> if <c>Port</c> is not a local port.</p>