Raise an EOFException on short reads

Author: gartens

polypheny/rpc.py

@@ -57,6 +57,8 @@ def send_msg(self, serialized):
 
     def recv_msg(self):
         bl = self.con.recv(8)
+        if len(bl) != 8:
+            raise EOFError
         n = int.from_bytes(bl, 'little')
         raw = self.con.recv(n)
         if len(raw) != n: