On Tue, Feb 11, 2014 at 03:51:33PM +0100, Salvo Tomaselli wrote: > Well if a bug can be solved by killing the buggy process and getting better > functionality than when the process is running is certainly a very very bad > bug! As mentioned before: File a bug. -- Regards, Olav