chiark / gitweb /
make-secnet-sites: If definition found in wrong place, bomb out
[secnet.git] / make-secnet-sites
index c49467a19f687c5f1fb78dfb15ebe44a5790c9ae..9e0072075a8c69ae3a7cbb865d0d46188b25c7e2 100755 (executable)
@@ -376,6 +376,8 @@ def pline(i,allow_include=False):
                        if nl.depth<allow_defs:
                                complain("New definitions not allowed at "
                                        "level %d"%nl.depth)
+                               # we risk crashing if we continue
+                               sys.exit(1)
                        current.children[w[1]]=nl
                        current=nl
                obstack.append(current)