On Sat, Jun 23, 2012 at 1:39 AM, Heinrich Apfelmus
<apfelmus@quantentunnel.de> wrote:
In any case, I'm happy with the proposal now ( getExecutablePath returning
precisely the path of the executable).
Thanks. I will make sure the documentation is clear.