diff --git a/lib/util.py b/lib/util.py index c63b71b6..5e0f6e16 100644 --- a/lib/util.py +++ b/lib/util.py @@ -415,9 +415,9 @@ class SocketPipe: if err.errno == 60: raise timeout elif err.errno in [11, 35, 10035]: - print_error("socket errno", err.errno) - time.sleep(0.1) - continue + print_error("socket errno %d (resource temporarily unavailable)"% err.errno) + time.sleep(0.2) + raise timeout else: print_error("pipe: socket error", err) data = ''