From ab1714e9f27f11fe9392b96a2e8f8f617d833962 Mon Sep 17 00:00:00 2001 From: ThomasV Date: Sun, 18 Oct 2015 09:23:44 +0200 Subject: [PATCH] socket errno 11: raise timeout instead of looping --- lib/util.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/util.py b/lib/util.py index c63b71b66..5e0f6e166 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 = ''