From 6f7f9dd8eb00fcb4ba40a00e069a43dc776f598b Mon Sep 17 00:00:00 2001
From: Miroslav Stampar <miroslav.stampar@gmail.com>
Date: Tue, 13 Nov 2012 10:41:13 +0100
Subject: [PATCH] Patch for an Issue #242

---
 lib/core/option.py | 3 ---
 lib/core/target.py | 2 +-
 2 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/lib/core/option.py b/lib/core/option.py
index d2ce765b2..f0b188960 100644
--- a/lib/core/option.py
+++ b/lib/core/option.py
@@ -1409,9 +1409,6 @@ def __cleanupOptions():
         for _ in DUMP_REPLACEMENTS.keys():
             del DUMP_REPLACEMENTS[_]
 
-    if conf.sessionFile:
-        conf.hashDBFile = conf.sessionFile
-
     threadData = getCurrentThreadData()
     threadData.reset()
 
diff --git a/lib/core/target.py b/lib/core/target.py
index 8941e6887..179eb3f76 100644
--- a/lib/core/target.py
+++ b/lib/core/target.py
@@ -252,7 +252,7 @@ def __setHashDB():
     """
 
     if not conf.hashDBFile:
-        conf.hashDBFile = "%s%ssession.sqlite" % (conf.outputPath, os.sep)
+        conf.hashDBFile = conf.sessionFile or "%s%ssession.sqlite" % (conf.outputPath, os.sep)
 
     if os.path.exists(conf.hashDBFile):
         if conf.flushSession: