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 Das.Linux@gmx.de wrote:
(see subject)
shall I just restart it?
Best -Tobias