Minor renaming

This commit is contained in:
Miroslav Stampar
2012-07-12 15:24:40 +02:00
parent 9bc24cea6b
commit dbbca16c69
2 changed files with 5 additions and 5 deletions

View File

@@ -1509,7 +1509,7 @@ def __setKnowledgeBaseAttributes(flushAll=True):
kb.safeCharEncode = False
kb.singleLogFlags = set()
kb.skipOthersDbms = None
kb.stickyFlag = False
kb.stickyDBMS = False
kb.stickyLevel = None
kb.suppressResumeInfo = False
kb.technique = None