ros/catkin — pull request #563 by dirk-thomas (2013-12-13 19:47:35+00:00)
Title: add error handling when _setup_util.py fails, e.g. due to disk full (fix #561)

@tfoote @wjwwood Please review.