anymore. But this doesn't mean it is fixed. It still happens on shutdown, but I cannot reproduce it anymore with kill -TERM. Best Regards, Patrick