diff options
Diffstat (limited to 'erts/doc')
| -rw-r--r-- | erts/doc/src/erlang.xml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/erts/doc/src/erlang.xml b/erts/doc/src/erlang.xml index 9c8c033e29..63e2e63b0b 100644 --- a/erts/doc/src/erlang.xml +++ b/erts/doc/src/erlang.xml @@ -3119,10 +3119,6 @@ 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> |