Closed kyawawa closed 5 years ago
Ctrl+Cを押した時,run_choreonoid.shに対してSIGTERMやSIGKILLが呼ばれてしまいChoreonoidが落ちない現象が頻発していたので,確実に落ちるようにしました. 子プロセスのみ落とすはずで, #287 のようにChoreonoidを複数立ち上げる場面でも問題はないはずです.
Ctrl+Cを押した時,run_choreonoid.shに対してSIGTERMやSIGKILLが呼ばれてしまいChoreonoidが落ちない現象が頻発していたので,確実に落ちるようにしました. 子プロセスのみ落とすはずで, #287 のようにChoreonoidを複数立ち上げる場面でも問題はないはずです.