[Dune] [#958] do not write random files to the user's home directory (Attachment added)
Dune
flyspray at dune-project.org
Wed Oct 19 13:57:05 CEST 2011
THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.
The following task has a new comment added:
FS#958 - do not write random files to the user's home directory
User who did this - Andreas Lauser (andlaus)
----------
Hi Martin! thanks for getting this out of the world, I guess I will buy you a beer next time we meet.
The patches were against dune-2.1 and it seems like somebody did a huge re-write of dunecontrol in the meantime. I've forward ported and tested the first to trunk r6515 (see attachment).
During that, I've discovered another surprising semantics in the resume functionality: If dunecontrol exits while handling the first module (e.g. dune-common) and it is called using --resume the next time, this first module is skipped (which I would expect to only occur if you also specify --skipfirst). If any "later" module fails, --resume works as expected. Anyway, since I normally don't use --resume I do not care...
----------
One or more files have been attached.
More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=958#comment2780
You are receiving this message because you have requested it from the Flyspray bugtracking system. If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.
More information about the Dune
mailing list