I use auto-connect and didn't notice the server lagging, just sent the transaction quickly after opening the wallet. I got the signed info box, closed it, but nothing in history. The server is a few days behind. What happens now? Would it go through if it catches up on the blocks?
Also, is it possible to have the client auto-connect to green servers first? (Not sure if it is supposed to already, but it's not the first time that it connected to a lagging one.)
I'm also interested in this answer, i've never had the misfortune to be in this situation, but the answer would be interesting.
From my point of view, you created a transaction and sent it to an unsync'ed electrum server. Either this server broadcasted the transaction or it didn't. I think the first thing you could safely do, is just go to blockr.io or blockchain.info, look up the address you were sending funds to, and see if your transaction is visible.
I'm pretty sure (but not 100%) that you could also safely switch to a sync'ed server? If the tx is visible on a sync'ed node, i don't think there's any problem at all. If it isn't visible, i hope somebody can tell us wether or not there is a risk the unsync'ed node will still broadcast the transaction after is syncs.
You could also tell us the address you were sending coins to, so we can have a look?