ros-planning/navigation — pull request #284 by artivis (2014-11-24 14:12:06+00:00)
Title: prevent inf loop

Simply allows to kill map_saver node with ctrl-c