diff options
| author | Christopher Faulet <[email protected]> | 2011-09-06 11:10:43 +0200 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2011-10-10 17:36:40 +0200 |
| commit | 2c4e984bd1d75524fd6444dc2032f8d758a945ae (patch) | |
| tree | 7249ef287033d773d163f8a9f18a09195395551c /system | |
| parent | eb9656c94f4e92c2a4875dc628cb41d283dd4d2b (diff) | |
| download | otp-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')
| -rw-r--r-- | system/doc/design_principles/sup_princ.xml | 3 |
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> |