electrum 1.7.2 refusing to synchronize

[empoweoqwj]

since 13th april (yesterday), all I get is "synchronizing" and that's it, it never actually happens

I've got the "Try random servers if disconnected" ticked.

I've not moved ISP.

Actually the server page says "connected to electrum.no-ip.org 231245 blocks" but the client still just says "Synchronizing"

I've tried shutting and restarting the client. (1.7.2 on OSX)

I'm presuming this is just me. Any tips / ideas? Anything I can type into the console to help diagnose?

Without being able to connect, I can't even see my balance let alone use the wallet - kind of scary

thx

[empoweoqwj]

lol - sod's law dictates that as soon as I write the post, it starts working again - crisis over.

[ThomasV]

next time it happens, try to select a different server in the list.