From 93e8418c0f7438a2839072ff60ffcb5ec16b8824 Mon Sep 17 00:00:00 2001
From: BohanZhang <bohanz1@ottertune-dev.pdl.cmu.edu>
Date: Sun, 26 Apr 2020 04:57:04 -0400
Subject: [PATCH] update driver config

---
 client/driver/driver_config.py | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/client/driver/driver_config.py b/client/driver/driver_config.py
index 81bae82..e45c443 100644
--- a/client/driver/driver_config.py
+++ b/client/driver/driver_config.py
@@ -99,11 +99,10 @@ TEMP_DIR = '/tmp/driver'
 if DB_DUMP_DIR is None:
     if HOST_CONN == 'local':
         DB_DUMP_DIR = os.path.join(DRIVER_HOME, 'dumpfiles')
+        if not os.path.exists(DB_DUMP_DIR):
+            os.mkdir(DB_DUMP_DIR)
     else:
-        DB_DUMP_DIR = os.path.expanduser('~/dumpfiles')
-    if not os.path.exists(DB_DUMP_DIR):
-        os.mkdir(DB_DUMP_DIR)
-
+        DB_DUMP_DIR = os.path.expanduser('~/')
 
 # Reload the database after running this many iterations
 RELOAD_INTERVAL = 10