Gazeboの終了時間の調整をする(melodic)

以下のサイトでGazeboの終了時間について書かれている。

gist.github.com

answers.ros.org

以下の方法でファイルを開いて

sudo vim /opt/ros/melodic/lib/python2.7/dist-packages/roslaunch/nodeprocess.py

57行目ら辺にあるこの時間を調整すれば良い。

_TIMEOUT_SIGINT  = 1 #seconds
_TIMEOUT_SIGTERM = 1 #seconds