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 -- Regards, Konstantin
