From 66d5d8c072dcb90ad4e8fafe9c0ec86efff4c499 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Wed, 17 Sep 2014 08:59:13 +0200
Subject: [PATCH] services: udev: Make non-respawnable.

* gnu/services/base.scm (udev-service): Add 'respawn?' field.
---
 gnu/services/base.scm | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/gnu/services/base.scm b/gnu/services/base.scm
index c40bc1a4c2..3b85363fe2 100644
--- a/gnu/services/base.scm
+++ b/gnu/services/base.scm
@@ -578,7 +578,12 @@ extra rules from the packages listed in @var{rules}."
                              (system* (string-append #$udev "/bin/udevadm")
                                       "settle")
                              pid)))))
-             (stop #~(make-kill-destructor))))))
+             (stop #~(make-kill-destructor))
+
+             ;; When halting the system, 'udev' is actually killed by
+             ;; 'user-processes', i.e., before its own 'stop' method was
+             ;; called.  Thus, make sure it is not respawned.
+             (respawn? #f)))))
 
 (define (device-mapping-service target command)
   "Return a service that maps device @var{target}, a string such as