From 780c5a2c43591fc17925177120b67b99d26e70e7 Mon Sep 17 00:00:00 2001 From: Sverker Eriksson Date: Mon, 28 Jan 2019 20:01:44 +0100 Subject: erts: Add doc warnings for erlang:port_command|call|control done on unknown ports. --- erts/doc/src/erlang.xml | 28 ++++++++++++++++++++++++++-- 1 file changed, 26 insertions(+), 2 deletions(-) (limited to 'erts/doc/src') diff --git a/erts/doc/src/erlang.xml b/erts/doc/src/erlang.xml index fabca87e9f..0536f4745f 100644 --- a/erts/doc/src/erlang.xml +++ b/erts/doc/src/erlang.xml @@ -4170,9 +4170,16 @@ RealSystem = system + MissedSystem badarg - If the port driver so decides for any reason (probably +

If the port driver so decides for any reason (probably something wrong with Operation - or Data). + or Data).

+ +

Do not call port_call with an unknown + Port identifier and expect badarg + exception. Any undefined behavior is possible (including node + crash) depending on how the port driver interprets the supplied + arguments.

+
@@ -4262,6 +4269,11 @@ RealSystem = system + MissedSystem

If Data is an invalid I/O list.

+ +

Do not send data to an unknown port. Any undefined behavior is + possible (including node crash) depending on how the port driver + interprets the data.

+
@@ -4321,6 +4333,11 @@ RealSystem = system + MissedSystem a busy port. + +

Do not send data to an unknown port. Any undefined behavior is + possible (including node crash) depending on how the port driver + interprets the data.

+
@@ -4425,6 +4442,13 @@ RealSystem = system + MissedSystem If the port driver so decides for any reason (probably something wrong with Operation or Data). + +

Do not call port_control/3 with an unknown + Port identifier and expect badarg + exception. Any undefined behavior is possible (including node + crash) depending on how the port driver interprets the supplied + arguments.

+
-- cgit v1.2.3