osrf/www.ros.org — pull request #70 by dirk-thomas (2014-02-11 01:45:11+00:00)
Title: garbage tmp stuff after commit db

@gerkey Please review.