manual:
The folder for saving files, game scores, and screenshots. By default, it's the work folder; it can be set to another folder with the -dir command line option or the SAVEDIR statement in a WDL file.
Yup ... I read that, but the point is that the save_dir is not set to point to the work directory ... it's an empty (NULL?) string when I show it (via printf()) ...
I know that the "-dir" option is supposed to set it (as well as the SAVEDIR in a WDL file), but I am just frustrated / surprised that it does not (apparently) point to the work directory as it should (according to the manual) ...
Cheers,
Andreas
