diff options
-rw-r--r-- | NEWS | 8 | ||||
-rw-r--r-- | doc/pies.texi | 9 |
2 files changed, 16 insertions, 1 deletions
@@ -1,2 +1,2 @@ -GNU Pies NEWS -- history of user-visible changes. 2011-10-23 +GNU Pies NEWS -- history of user-visible changes. 2011-10-24 Copyright (C) 2009, 2010, 2011 Sergey Poznyakoff @@ -9,2 +9,8 @@ Please send Pies bug reports to <bug-pies@gnu.org> or Version 1.2.90 (Git) + +* New flag siggroup. + +This flag instructs pies to send termination signal to the process +group of the process being stopped. + diff --git a/doc/pies.texi b/doc/pies.texi index a77e4cf..e97eb4d 100644 --- a/doc/pies.texi +++ b/doc/pies.texi @@ -684,2 +684,10 @@ When used with @samp{sockenv}, the @env{LOCALHOST} and names, instead of IP addresses. + +@item siggroup +This flag affects the befavior of @command{pies} when a stopped +process fails to terminate within a predefined timeout +(@pxref{shutdown-timeout}. Normally @command{pies} would send the +@samp{SIGKILL} signal to such a process. If this flag is set, +@command{pies} would send @samp{SIGKILL} to the process group of this +process instead. @end table @@ -2022,2 +2030,3 @@ description of this statement. +@anchor{shutdown-timeout} @deffn {Config} shutdown-timeout @var{number}; |