Fix EINTR forever

tools/profiling/microbenchmarks/bm_diff.py

@@ -192,18 +192,21 @@ class Benchmark:
     return [self.final[f] if f in self.final else '' for f in flds]
 
 
-def read_file(filename):
+def eintr_be_gone(fn):
+  """Run fn until it doesn't stop because of EINTR"""
   while True:
     try:
-      with open(filename) as f:
-        return f.read()
+      return fn()
     except IOError, e:
       if e.errno != errno.EINTR:
         raise
 
+
 def read_json(filename):
-  return json.loads(read_file(filename))
+  with open(filename) as f: return json.loads(f.read())
+
 
+def finalize():
   benchmarks = collections.defaultdict(Benchmark)
 
   for bm in args.benchmarks:
@@ -241,3 +244,7 @@ else:
     text = 'No significant performance differences'
   comment_on_pr.comment_on_pr('```\n%s\n```' % text)
   print text
+
+
+eintr_be_gone(finalize)
+