From 98c16943d50c8dd080b66bfe83a69b9e2a3dd16a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Wed, 5 Nov 2014 09:35:44 +0100 Subject: [PATCH] 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. --- gnu/services/base.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/services/base.scm b/gnu/services/base.scm index 57a79a7749..49bf0c3660 100644 --- a/gnu/services/base.scm +++ b/gnu/services/base.scm @@ -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