summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2014-11-05 09:35:44 +0100
committerLudovic Courtès <ludo@gnu.org>2014-11-05 11:25:39 +0100
commit98c16943d50c8dd080b66bfe83a69b9e2a3dd16a (patch)
tree9eb50c7a4a73abce9e10d1966aa24e04b9c3ea05
parent52b321e908467ac05f70ec7415aed8bd438f06db (diff)
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.
-rw-r--r--gnu/services/base.scm2
1 files changed, 1 insertions, 1 deletions
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