Skip to content

Instantly share code, notes, and snippets.

@plusk01

plusk01/gazebo-kill.md

Created August 25, 2017 15:58
Download ZIP

Revisions

  1. plusk01 created this gist Aug 25, 2017.
    10 changes: 10 additions & 0 deletions gazebo-kill.md
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,10 @@
    To make Gazebo die sooner, edit the file at `/opt/ros/kinetic/lib/python2.7/dist-packages/roslaunch/nodeprocess.py`:

    Near line 57, change the timeouts to be:

    ```
    _TIMEOUT_SIGINT = 0.5 #seconds
    _TIMEOUT_SIGTERM = 0.5 #seconds
    ```

    This will cause ROS to send a `kill` signal much sooner.