Robin Berjon @robinberjon · 13 Jan 2012 Replying to @grtjn When it needs to restart, the refresh gets a server not found because it takes longer than the code expects.
