Actually, I found that if I resync to another Electrum server, the transaction may not exist on the second server. In one case, the original transaction disappeared after a day when I resynced back to the original server. In any case, you can probably respend the coins, if you find that the transaction does not exist on the second server, but should be aware that one of those transactions, either the first or the second, will be a double spend.
This has bit me too :-/
If the transactions show in Electrum as pending but haven't been propagated to the network (no trace in block chain.info), is there a way of resending them?
Or do they disappear by themselves and the coins are available again?
What happens if I try to spend the coins that are stuck? Will the transaction get thru? (since the network has no knowledge of the previous stuck transaction?
Thanks!