Searched refs:index_file (Results 1 – 1 of 1) sorted by relevance
100 def __init__(self, index_file, find_command): argument101 self.index_file = index_file432 index_file = ref_type.index_file434 if os.path.isfile(index_file):436 with open(index_file, 'rb') as index:447 logging.debug('Error occurs while loading %s: %s', index_file, err)451 os.remove(index_file)