[ros-diffs] 02/03: [CMD] Fix CTRL-C handling.