diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-01-13 17:22:39 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-01-13 18:16:35 +0100 |
| commit | 7bed4df49a6534511cc0c48f76996c957c012c30 (patch) | |
| tree | 8cd9be71ccb7565ae909d93e6b086e75a44b8210 /gnu/build | |
| parent | be68177368954a2e72ab72c9c88ada4e52a2602d (diff) | |
| download | guix-7bed4df49a6534511cc0c48f76996c957c012c30.tar.gz | |
services: user-processes: Really honor the grace delay.
* gnu/services/base.scm (user-processes-service): Change #:grace-delay default value to 4. Define 'sleep*' and use it.
Diffstat (limited to 'gnu/build')
0 files changed, 0 insertions, 0 deletions