[galaxy-commits] commit/galaxy-central: greg: Fixes for handling large numbers of tool shed repositories during installation into Galaxy.