1.1 --- a/modules.py Fri Jan 20 15:31:47 2017 +0100
1.2 +++ b/modules.py Fri Jan 20 17:39:52 2017 +0100
1.3 @@ -640,8 +640,8 @@
1.4
1.5 def _get_exception_namespaces(self, f):
1.6 f.readline() # "exception namespaces:"
1.7 - values = f.readline().rstrip().split(", ")
1.8 - self.exception_namespaces = set(values)
1.9 + value = f.readline().rstrip()
1.10 + self.exception_namespaces = value and set(value.split(", ")) or set()
1.11 f.readline()
1.12
1.13 # Generic parsing methods.
1.14 @@ -779,6 +779,9 @@
1.15 (empty line)
1.16 "exception namespaces:"
1.17 qualified names
1.18 + (empty line)
1.19 + "operator result namespaces:"
1.20 + qualified names
1.21
1.22 All collections of names are separated by ", " characters.
1.23