iPhoneのメールアプリで突然gmailが受信できなくなった場合の対処。

「メールサーバー”imap.gmail.com”が応答しません。”メール”設定で入力されているアカウント情報が正しいことを確認してください」

“メール”を立ち上げてしばらくすると上記の様なメッセージが出てきた。
設定は何も変えてないし、他のメールアプリだとgmailを受信できるので、”メール”の問題らしい。メールの設定を見ても、疑わしい項目は何もない。一度アカウントを削除して見ようかと思ったが、gmail関係のデータが消えてしまうのも怖いので、現在のアカウントは保持したまま、アカウントの追加を試してみた。
アドレスやパスワードを入力して新しいアカウントを追加すると、「そのアカウントは既に存在しています。」的なメッセージが出てきて追加できないが、”メール”に戻って再度受信をしてみると、普通に受信できた。おしまい。