Hi Volker, > Before that is fixed, should we commit my patch to fix the > problem that happens without the kill -9? yes, please push (I'm travelling at the moment, so a bit behind). Cheers, Tridge