Hi Christian,
As far as we can say from the file-related functionality we are actually using, your modifications in the 7.8beta work perfectly fine. Great.
I remember some forum posting that discouraged the use of user.dir
I also found some threads which point to this direction, however the background and the implications are not fully clear to me (which also might be due to my limited java background). At least some of the posts also indicate that the issue can be addressed by consequently using getAbsoluteFile() (as you did if I got that right). If any problems occur with the current solution, using a dedicated system property for defining the absolute path to the file system might be another option.
Thanks once again for your help.
Best Simon
-----Ursprüngliche Nachricht----- Von: Christian Grün [mailto:christian.gruen@gmail.com] Gesendet: Sonntag, 1. Dezember 2013 14:12 An: Simon Görke Cc: BaseX Betreff: Re: [basex-talk] user.dir and BaseX Add Command
Hi Simon,
The reason for the trouble was the following Java operations do different things if user.dir is changed:
new File("X").mkdirs() new File("X").getAbsoluteFile().mkdirs()
Ive rewritten our file operations such that they are always resolved against the absolute file path. I cant promise that everyone works fine now (I remember some forum posting that discouraged the use of user.dir, probably because of reasons like the one above), so Im interested in your feedback on the new snapshot [1].
Best, Christian