FinalTerm tries to create its data directory it it doesn't exists. But since it currently ony tries to call make_directory(), it will fail if any of the parent directories above the data directory are non-existing as well.
This pull request tries to resolve that problem by using make_directory_with_parents() instead (fixes #226), and it also makes the error output more verbose to let the user know which directory's handling was problematic.
@p-e-w: please review those changes, and let me know if I need to update them in any way :)
p-e-w
commented
10 years ago
FinalTerm tries to create its data directory it it doesn't exists. But since it currently ony tries to call
make_directory(), it will fail if any of the parent directories above the data directory are non-existing as well.This pull request tries to resolve that problem by using
make_directory_with_parents()instead (fixes #226), and it also makes the error output more verbose to let the user know which directory's handling was problematic.@p-e-w: please review those changes, and let me know if I need to update them in any way :)