From 24ed99e5a3d19afd0149d9b2afa2011bb230d117 Mon Sep 17 00:00:00 2001 From: Miroslav Stampar Date: Mon, 6 Jun 2011 08:50:48 +0000 Subject: [PATCH] fix for a bug reported by aboynes@gmail.com --- doc/THANKS | 2 +- lib/core/common.py | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/THANKS b/doc/THANKS index e4a0d48a6..452c615ef 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -31,7 +31,7 @@ Daniele Bellucci 2006 Anthony Boynes - for reporting few bugs + for reporting several bugs Velky Brat for suggesting a minor enhancement to the bisection algorithm diff --git a/lib/core/common.py b/lib/core/common.py index d0d6ec057..0c90dbad9 100644 --- a/lib/core/common.py +++ b/lib/core/common.py @@ -306,6 +306,7 @@ class Backend: def flushForcedDbms(force=False): if not kb.misc.stickyFlag or force: kb.misc.forcedDbms = None + kb.misc.stickyFlag = False @staticmethod def setOs(os):