~ruther/guix-local

98c16943d50c8dd080b66bfe83a69b9e2a3dd16a — Ludovic Courtès 11 years ago 52b321e
services: Increase delay before SIGKILL is sent when halting.

* gnu/services/base.scm (user-processes-service): Increase the default
  value of 'grace-delay'.  This leaves more time for processes to clean
  up their PID files, /tmp/.X0-lock, etc.
1 files changed, 1 insertions(+), 1 deletions(-)

M gnu/services/base.scm
M gnu/services/base.scm => gnu/services/base.scm +1 -1
@@ 150,7 150,7 @@ names such as device-mapping services."
  ;; the system.  Typical example is user-space file systems.
  "/etc/dmd/do-not-kill")

(define* (user-processes-service requirements #:key (grace-delay 2))
(define* (user-processes-service requirements #:key (grace-delay 5))
  "Return the service that is responsible for terminating all the processes so
that the root file system can be re-mounted read-only, just before
rebooting/halting.  Processes still running GRACE-DELAY seconds after SIGTERM