minor fix for end phase (Ctrl+C)

2025-12-06 20:51:31 +00:00 · 2010-12-21 23:55:55 +00:00
parent fb75d0636b
commit d974a966b8
3 changed files with 8 additions and 6 deletions
--- a/lib/core/option.py
+++ b/lib/core/option.py
@@ -1158,6 +1158,7 @@ def __setKnowledgeBaseAttributes(flushAll=True):
    kb.dep             = None
    kb.docRoot         = None
    kb.dynamicMarkings = []
+    kb.endDetection    = False
    kb.formNames       = []
    kb.headersCount    = 0
    kb.headersFp       = {}