[galaxy-commits] commit/galaxy-central: greg: More quickly stop the process of checking for migrated tools when starting Galaxy if there is no internet connection to the tool shed.