fix dump path

pull/39/head
Junzi Sun 6 years ago
parent 10e9b234ad
commit 31df5c2042

@ -36,7 +36,10 @@ UNCERTAINTY = args.uncertainty
DUMPTO = args.dumpto
if DUMPTO is not None:
# append to current folder except root is given
if DUMPTO[0] != '/':
DUMPTO = os.getcwd() + '/' + DUMPTO
if not os.path.isdir(DUMPTO):
print('Error: dump folder (%s) does not exist' % DUMPTO)
sys.exit(1)

Loading…
Cancel
Save