rvpa needs to clean up properly when it receives SIGINT, etc.

runtimeverification / rv-predict

Code for improved rv-predict and installer

BSD 3-Clause "New" or "Revised" License

2 stars 3 forks source link

rvpa needs to clean up properly when it receives SIGINT, etc. #1008

Open gnuoyd opened 6 years ago

gnuoyd commented 6 years ago

Kill off the subordinate Java process, etc. I think the thing to do is send the signal to self after establishing the default handlers using trap - ....