On 14/04/16 12:51, Magnus Hagander wrote:
> I should add that yes, this patch does seem to remove the problem for me as
> well. But I can't confirm if it breaks something else.
Did you also see whether it fixes the problem on the bigger box which
seemed to not shut down at all?
.m