On Thu, Dec 05, 2013 at 02:11:46PM +0100, Pavel Reichl wrote:
patches addressing Jakub's and Dmitri's comments are attached.
I have decided to merge two previously separate patches into one as both
are patching same function (monitor_kill_service).
Patches look good to me and both service restart and killing a stuck
service still work fine.