# HG changeset patch
# User paulb@jeremy
# Date 1162143809 -3600
# Node ID bbdb66bcd7c555590e255ad46b86d02ee25fb116
# Parent  cfa1b54ea2f902256cbcb5ae8e5c42f98c7a7fa3
Added exception handling for None nodes.


diff -r cfa1b54ea2f9 -r bbdb66bcd7c5 viewer.py
--- a/viewer.py	Sun Oct 29 18:43:05 2006 +0100
+++ b/viewer.py	Sun Oct 29 18:43:29 2006 +0100
@@ -88,7 +88,8 @@
         self.stream.write("Nodes:\n\n")
         for node in exc.nodes:
             self.stream.write(repr(node) + "\n")
-            self.dispatch_only(node.original, every_time=1)
+            if node is not None:
+                self.dispatch_only(node.original, every_time=1)
         self.stream.write("\nOriginal node was:\n\n" + repr(exc.nodes[0].original) + "\n")
         self.stream.write("\nSimplified node was:\n\n")
         exc.nodes[0].pprint(stream=self.stream)