From 9eca41bae2c6ce27eeee95d707a034cd3aefe73d Mon Sep 17 00:00:00 2001
From: Miroslav Stampar <miroslav.stampar@gmail.com>
Date: Tue, 29 Jan 2013 15:55:50 +0100
Subject: [PATCH] Minor fix

---
 lib/core/option.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/core/option.py b/lib/core/option.py
index 39476b559..1739ad89f 100644
--- a/lib/core/option.py
+++ b/lib/core/option.py
@@ -1377,7 +1377,7 @@ def _cleanupOptions():
         if not any([char in conf.testFilter for char in ('.', ')', '(', ']', '[')]):
             conf.testFilter = conf.testFilter.replace('*', '.*')
 
-    if conf.timeSec not in kb.explicitSettings:
+    if "timeSec" not in kb.explicitSettings:
         if conf.tor:
             conf.timeSec = 2 * conf.timeSec
             kb.adjustTimeDelay = ADJUST_TIME_DELAY.DISABLE