Yes. Please do. Mailman also looks to be hung, so perhaps you could restart box2 entirely.
And for what it's worth, I'd say in future you don't have to ask.
Thanks,
Chris
On May 22, 2014, at 8:03 AM, Tobias Pape <
[hidden email]> wrote:
> (see subject)
>
> shall I just restart it?
>
> Best
> -Tobias
>