[213] Don't restart when already shutting down

src/bin/bind10/bind10_src.py.in

@@ -685,7 +685,9 @@ class BoB:
             if pid in self.processes:
                 # One of the processes we know about.  Get information on it.
                 component = self.processes.pop(pid)
-                if component.running():
+                # Tell it it failed, but only if it matters at all (eg. it is
+                # running and we are running - if not, it should stop anyway)
+                if component.running() and self.runnable:
                     component.failed()
             else:
                 logger.info(BIND10_UNKNOWN_CHILD_PROCESS_ENDED, pid)