Deal with divide by zero in the python stats stuff.

util/stats/info.py:
    If an operation results in a divide by zero, just return None

--HG--
extra : convert_revision : 19cb4319734a3a9cf02bb1966fed42eb0c8a8ade

diff --git a/util/stats/info.py b/util/stats/info.py
index 7c03a34fa9a50fd5be9f8743da307a92962b8fd6..1f9f11940fb5d34e5998679846f6b64bbc022856 100644 (file)
--- a/util/stats/info.py
+++ b/util/stats/info.py
@@ -254,7 +254,10 @@ class BinaryProxy(ValueProxy):
         val1 = value(self.arg1, run)
         if val0 is None or val1 is None:
             return None
-        return self.op(val0, val1)
+        try:
+            return self.op(val0, val1)
+        except ZeroDivisionError:
+            return None
 
     def __vectorvalue__(self, run, index):
         if scalar(self.arg0):
@@ -269,7 +272,10 @@ class BinaryProxy(ValueProxy):
         if val0 is None or val1 is None:
             return None
 
-        return self.op(val0, val1)
+        try:
+            return self.op(val0, val1)
+        except ZeroDivisionError:
+            return None
 
     def __vectorlen__(self):
         if vector(self.arg0) and scalar(self.arg1):