Python：使用poplib连接到gmail服务器给出错误

Question

我正在尝试使用poplib库使用POP协议连接到gmail服务器。 它无法连接错误：socket.gaierror：[Errno -2]名称或服务未知

我正在运行我的脚本从机器进行网络访问。

import poplib
pop_conn = poplib.POP3_SSL('pop.gmail.com',995, timeout=30)

Traceback (most recent call last):
  File "python", line 2, in <module>
socket.gaierror: [Errno -2] Name or service not known

请帮忙纠正这个问题？

我从以下链接获得了gmail服务器名称： https://support.google.com/mail/answer/7104828?hl=en&visit_id=1-636148818957220191-1947633130&rd=3