exploration server died

edit

Hello all,

sometimes the exploration server just died, and the clients are not able to reconnect.

[planner/explore_server-19] process has died [pid 3405, exit code -6, cmd /home/yupufeng/catkin_ws/devel/lib/frontier_exploration/explore_server move_base:=/planner/move_base __name:=explore_server __log:=/home/yupufeng/.ros/log/98ccbdea-673f-11e5-9c6d-94de8068b30c/planner-explore_server-19.log].

the server is already set as respawn="true" in the launch file.
node pkg="frontier_exploration" type="explore_server" name="explore_server" respawn="true" output="screen"