File 1023-erlang-module-doc-disconnect_node-1.patch of Package erlang

From 52fe2254414a1d87edfda641ff3af987224f06df Mon Sep 17 00:00:00 2001
From: Kjell Winblad <kjellwinblad@gmail.com>
Date: Tue, 1 Sep 2020 14:27:11 +0200
Subject: [PATCH 13/39] erlang module doc: disconnect_node/1

Document that the function returns before nodedown messages have been
delivered.
---
 erts/doc/src/erlang.xml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/erts/doc/src/erlang.xml b/erts/doc/src/erlang.xml
index a33eaffb87..1095d92404 100644
--- a/erts/doc/src/erlang.xml
+++ b/erts/doc/src/erlang.xml
@@ -1372,7 +1372,12 @@ end</code>
           protocols.</p>
         <p>Returns <c>true</c> if disconnection succeeds,
           otherwise <c>false</c>. If the local node is not alive,
-          <c>ignored</c> is returned.</p>
+        <c>ignored</c> is returned.</p>
+        <note>
+          <p>This function returns before <seealso
+          marker="#monitor_node/2"> <c>nodedown</c> messages</seealso>
+          have been delivered.</p>
+        </note>
       </desc>
     </func>
 
-- 
2.26.2