More quickly stop the process of checking for migrated tools when starting Galaxy if there is no internet connection to the tool shed.