I don't understand why you want the children to delete their dirs when
it's easier to just do this from the parent.
How about the signal handler looks like this:
1. if we're a child process, exit
2. remove temp dirs
3. exit
John
On 07/10/2013 09:56 AM, Konstantin Tokarev wrote:
10.07.2013, 19:40, "John Regehr" <[email protected]>:
I think a SIGINT / SIGTERM handler in the main process is a good idea.
I used SIGINT & SIGNTERM in the main process [1]. That ended up with
sudden creduce breakages because of children using handler of main process.
My current proposal is to use the same handler everywhere (via use sigtrap)
and have every children removing its own scratch directory. If you agree, I'll
implement it.
[1] https://github.com/csmith-project/creduce/pull/19/files
