File 0907-ChildSpecs.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0907-ChildSpecs.patch of Package erlang

From 70611afa2b06255e3055c8ae0f3a557267cf8baa Mon Sep 17 00:00:00 2001
From: neo <79276645+neo-clj@users.noreply.github.com>
Date: Fri, 17 Nov 2023 17:29:34 +0330
Subject: [PATCH] ChildSpecs

line 436:
It is better to use "should" instead of "must".
Because, "For children that are supervisors themselves, ... it is common but not mandatory to select infinity, giving them the time they need to shut down their potentially large subtree." (Designing for Scalability with Erlang/OTP, Francesco Cesarini and Steve Vinoski)
---
 system/doc/design_principles/sup_princ.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/system/doc/design_principles/sup_princ.xml b/system/doc/design_principles/sup_princ.xml
index e0de3d8130..299d884550 100644
--- a/system/doc/design_principles/sup_princ.xml
+++ b/system/doc/design_principles/sup_princ.xml
@@ -433,7 +433,7 @@ child_spec() = #{id => child_id(),             % mandatory
            signal back. If no exit signal is received within
            the specified time, the child process is unconditionally
            terminated using <c>exit(Child, kill)</c>.</item>
-          <item>If the child process is another supervisor, it must be
+          <item>If the child process is another supervisor, it should be
            set to <c>infinity</c> to give the subtree enough time to
            shut down. It is also allowed to set it to <c>infinity</c>,
            if the child process is a worker. See the warning below:</item>
-- 
2.35.3

Places

File 0907-ChildSpecs.patch of Package erlang

Places