If the refcount field is "null", that's ok; the value will be None.

diff --git a/Doc/tools/refcounts.py b/Doc/tools/refcounts.py
index 6056328e84560595013c0ebba8acc83032e63019..90f47d061db4dd70071b58211db3fd3ffaa24481 100644 (file)
--- a/Doc/tools/refcounts.py
+++ b/Doc/tools/refcounts.py
@@ -33,7 +33,9 @@ def loadfile(fp):
             continue
         parts = string.split(line, ":", 4)
         function, type, arg, refcount, comment = parts
-        if refcount:
+        if refcount == "null":
+            refcount = None
+        elif refcount:
             refcount = int(refcount)
         else:
             refcount = None