Pool has no problems either but it was another linux wallet of mine that just stopped syncing. I keep a close look at it but seems to work fine now.