python: Ignore EINTR in serveloop.

diff --git a/python3/ashd/util.py b/python3/ashd/util.py
index 3818e4b..bf32637 100644 (file)
--- a/python3/ashd/util.py
+++ b/python3/ashd/util.py
@@ -161,7 +161,10 @@ def serveloop(handler, sock = 0):
     and is called once for each received request.
     """
     while True:
-        req = proto.recvreq(sock)
+        try:
+            req = proto.recvreq(sock)
+        except InterruptedError:
+            continue
         if req is None:
             break
         try: