diff --git a/docker/run.sh b/docker/run.sh index c20ca90f6..815030445 100755 --- a/docker/run.sh +++ b/docker/run.sh @@ -53,11 +53,9 @@ docker run \ wait $ROSCORE_PID wait $RVIZ_PID -wait $ROSBAG_PID if [[ $? -gt 128 ]] then kill $ROSCORE_PID kill $RVIZ_PID - kill $ROSBAG_PID fi