GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-24 16:56:36 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

catch name resolution errors in sync

Browse source
This commit is contained in:
Damien Elmes 2018-05-31 13:24:49 +10:00
parent e6fcfb7379
commit e2e68e0c54
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
aqt/sync.py
View file

@ -179,7 +179,7 @@ AnkiWeb is too busy at the moment. Please try again in a few minutes.""")
"Antivirus or firewall software is preventing Anki from connecting to the internet.") "Antivirus or firewall software is preventing Anki from connecting to the internet.")
elif "10054" in err or "Broken pipe" in err: elif "10054" in err or "Broken pipe" in err:
return _("Connection timed out. Either your internet connection is experiencing problems, or you have a very large file in your media folder.") return _("Connection timed out. Either your internet connection is experiencing problems, or you have a very large file in your media folder.")
elif "Unable to find the server" in err: elif "Unable to find the server" in err or "socket.gaierror" in err:
return _( return _(
"Server not found. Either your connection is down, or antivirus/firewall " "Server not found. Either your connection is down, or antivirus/firewall "
"software is blocking Anki from connecting to the internet.") "software is blocking Anki from connecting to the internet.")