ros/catkin — pull request #658 by dirk-thomas (2014-06-15 21:32:28+00:00)
Title: flush stdin before asking for input

Same as ros-infrastructure/bloom#249.

@wjwwood Please review.