diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-11-05 09:35:44 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-11-05 11:25:39 +0100 |
| commit | 98c16943d50c8dd080b66bfe83a69b9e2a3dd16a (patch) | |
| tree | 9eb50c7a4a73abce9e10d1966aa24e04b9c3ea05 /doc | |
| parent | 52b321e908467ac05f70ec7415aed8bd438f06db (diff) | |
| download | patches-98c16943d50c8dd080b66bfe83a69b9e2a3dd16a.tar patches-98c16943d50c8dd080b66bfe83a69b9e2a3dd16a.tar.gz | |
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.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions