On Tue, 28 Jan 2014 10:34:52 +0100, Sönke Ludwig wrote:

Thanks for the notice! I didn't find the reason why this somtimes
happens, yet. The registry has now been restarted with some more logging
and a watchdog that is supposed to automatically kill the update task
when it gets stuck again. I'll try to debug it further once it happens
next time.

Alright, thanks!