[galaxy-commits] commit/galaxy-central: greg: Fix for purging a repository in Galaxy installed from the Tool Shed.