Skip to content

Commit

Permalink
Merge pull request #364 from bgromov/fix_gazebo_sigint_osx
Browse files Browse the repository at this point in the history
[gazebo_ros] Fix invalid signal name on OS X for script/gazebo
  • Loading branch information
scpeters committed Oct 26, 2015
2 parents 534470d + 11cf7a4 commit c9ad4df
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion gazebo_ros/scripts/gazebo
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,10 @@
final="$@"

EXT=so
SIGNAL=SIGINT
if [ $(uname) = "Darwin" ]; then
EXT=dylib
SIGNAL=INT
fi

# add ros path plugin if it does not already exist in the passed in arguments
Expand All @@ -27,4 +29,4 @@ gzserver $final &
gzclient $client_final

# Kill the server
kill -s SIGINT $!
kill -s $SIGNAL $!

0 comments on commit c9ad4df

Please sign in to comment.