# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1484930392 -3600
# Node ID fe28634631ef4abeee3770ebdf79029d6bc120ee
# Parent  e18ab0c090c3c17cb31260b0d459a0870d537247
Fixed reading of exception handling namespaces from the cache.

diff -r e18ab0c090c3 -r fe28634631ef modules.py
--- a/modules.py	Fri Jan 20 15:31:47 2017 +0100
+++ b/modules.py	Fri Jan 20 17:39:52 2017 +0100
@@ -640,8 +640,8 @@
 
     def _get_exception_namespaces(self, f):
         f.readline() # "exception namespaces:"
-        values = f.readline().rstrip().split(", ")
-        self.exception_namespaces = set(values)
+        value = f.readline().rstrip()
+        self.exception_namespaces = value and set(value.split(", ")) or set()
         f.readline()
 
     # Generic parsing methods.
@@ -779,6 +779,9 @@
         (empty line)
         "exception namespaces:"
         qualified names
+        (empty line)
+        "operator result namespaces:"
+        qualified names
 
         All collections of names are separated by ", " characters.