github/dejavu
1
0
Fork 0
mirror of https://github.com/correl/dejavu.git synced 2024-11-23 11:09:52 +00:00
Code Issues Projects Releases Packages Wiki Activity

Update results_dejavu.py

Browse source
This commit is contained in:
Fabio Costa 2014-06-29 22:28:03 +01:00
parent f9a59e42e6
commit 4f4a50ba9f
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
scripts/results_dejavu.py
View file

@ -72,6 +72,11 @@ if options.log == True:
if options.results_folder != "" and options.results_folder[len(options.results_folder)-1] != '/':
options.results_folder += "/"
try:
os.stat(options.results_folder)
except:
os.mkdir(options.results_folder)
def log_msg(msg):
if options.log == True:
logging.debug(msg)