Fix SocketPipe:

* add errcode 35 for BSD
* in addition, add a very long timeout to command line pipe, in order to prevent that exception to be raised.

lib/util.py

@@ -403,7 +403,7 @@ class SocketPipe:
             except socket.error, err:
                 if err.errno == 60:
                     raise timeout
-                elif err.errno in [11, 10035]:
+                elif err.errno in [11, 35, 10035]:
                     print_error("socket errno", err.errno)
                     time.sleep(0.1)
                     continue