diff --git a/scripts/tool_shed/build_ts_whoosh_index.py b/scripts/tool_shed/build_ts_whoosh_index.py index d7ab7b9004f..d5f5ddaf57e 100644 --- a/scripts/tool_shed/build_ts_whoosh_index.py +++ b/scripts/tool_shed/build_ts_whoosh_index.py @@ -23,9 +23,8 @@ sys.path.insert(1, os.path.abspath(os.path.join(os.path.dirname(__file__), os.pa import galaxy.webapps.tool_shed.model.mapping from galaxy.tools.loader_directory import load_tool_elements_from_path -from galaxy.util import pretty_print_time_interval +from galaxy.util import directory_hash_id, pretty_print_time_interval from galaxy.webapps.tool_shed import config, model -from galaxy.util import directory_hash_id repo_schema = Schema( id=STORED,