aboutsummaryrefslogtreecommitdiffstats
path: root/system/doc
diff options
context:
space:
mode:
authorChristopher Faulet <[email protected]>2011-09-06 11:10:43 +0200
committerHenrik Nord <[email protected]>2011-10-10 17:36:40 +0200
commit2c4e984bd1d75524fd6444dc2032f8d758a945ae (patch)
tree7249ef287033d773d163f8a9f18a09195395551c /system/doc
parenteb9656c94f4e92c2a4875dc628cb41d283dd4d2b (diff)
downloadotp-2c4e984bd1d75524fd6444dc2032f8d758a945ae.tar.gz
otp-2c4e984bd1d75524fd6444dc2032f8d758a945ae.tar.bz2
otp-2c4e984bd1d75524fd6444dc2032f8d758a945ae.zip
Allow an infinite timeout to shutdown worker processes
Now, in child specification, the shutdown value can also be set to infinity for worker children. This restriction was removed because this is not always possible to predict the shutdown time for a worker. This is highly application-dependent.
Diffstat (limited to 'system/doc')
-rw-r--r--system/doc/design_principles/sup_princ.xml3
1 files changed, 2 insertions, 1 deletions
diff --git a/system/doc/design_principles/sup_princ.xml b/system/doc/design_principles/sup_princ.xml
index 2748f21bbe..42d9f3e3d8 100644
--- a/system/doc/design_principles/sup_princ.xml
+++ b/system/doc/design_principles/sup_princ.xml
@@ -181,7 +181,8 @@ init(...) ->
terminated using <c>exit(Child, kill)</c>.</item>
<item>If the child process is another supervisor, it should be
set to <c>infinity</c> to give the subtree enough time to
- shutdown.</item>
+ shutdown. It is also allowed to set it to <c>infinity</c>, if the
+ child process is a worker.</item>
</list>
</item>
<item>