On 05/14/2013 06:07 PM, Philip Hands wrote: > He missed the fact that you were contrasting one non-crashing init, that > is capable of restarting dead services, with another non-crashing > init setup that is not able to do so (without help).
Oh, indeed I missed that point! Thanks Phil. Thomas -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/5193b8c5....@debian.org
