Whenever I am running FlexFringe I sometimes want it to exit and print the current automaton. Can FlexFringe handle SIGINT/SIGTERM and call print_current_automaton(merger, OUTPUT_FILE, ".partial"); whenever that happens?
I want for example to just stop FlexFringe with control C just sending SIGINT, or I am running FlexFringe and it runs out of memory, being killed by my oom killer which sends SIGTERM. (The kernel oom killer sends SIGKILL, which can't be intercepted.)
Whenever I am running FlexFringe I sometimes want it to exit and print the current automaton. Can FlexFringe handle SIGINT/SIGTERM and call
print_current_automaton(merger, OUTPUT_FILE, ".partial");whenever that happens?I want for example to just stop FlexFringe with control C just sending SIGINT, or I am running FlexFringe and it runs out of memory, being killed by my oom killer which sends SIGTERM. (The kernel oom killer sends SIGKILL, which can't be intercepted.)