Fix gmail pushmail fail after ROM-update

I just updated the ROM on my Android HTC Desire to LeeDroid 3.3.3 the other day. After upgrading, I suddenly noticed that my gmail was no longer being pushed to my phone even though I had heaps of internal memory free. I finally found out that obviously gmail push has problems when settings have been restored using Titanium Backup. I simply had to enable, and then disable the settings to get things to work.

So if you have trouble getting push mail from gmail on your Android device, try the following:

• Make sure you have more than 15 MB free internal memory.
• Go to Menu » Settings » Accounts & sync and disable both Background data and Auto-sync and re-enable them.