Gmailを使用してメールを処理していますが、ほとんどは外部のPOP3アカウントからGmailによってインポートされています。
通常、これは正常に機能しますが、GmailがPOP3サーバーへの接続を試みずに24時間近く行った場合があります。
さて、Gmail「デスクトップ」で「更新」ボタンを押すと、それができますが、モバイルからGmailにアクセスすると、モバイル版のサイト(Android 1.5では問題ではありません)この更新を行う方法があるようです。私が知る限り、POP3設定にもアクセスできません。
保証されたタイムリーな方法でGmailにポーリングさせるにはどうすればよいですか?