[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#23170: [PATCH shepherd] Restart dependent services on service restar
From: |
Carlo Zancanaro |
Subject: |
bug#23170: [PATCH shepherd] Restart dependent services on service restart |
Date: |
Mon, 27 Aug 2018 08:05:17 +1000 |
User-agent: |
K-9 Mail for Android |
Hey Ludo’!
On 27 August 2018 7:08:34 am AEST, address@hidden wrote:
>I forgot if this was already done, but perhaps you can add a bit in the manual
>to insist that ‘restart’ is not quite the same as ‘stop’ + ‘start’.
I hadn't done that, but I have now. There aren't many mentions of restart in
the manual, but I changed the one that seemed most relevant.
>Anyway, it all LGTM, thanks!
Pushed! Thanks for the review.
Carlo