Method get_history_entries

src/execution/logging.py:183–193

(self, user_id, *, system_call=False)

        logger.set_close_callback(lambda: self._write_post_execution_info(log_file_path, exit_code))

    def get_history_entries(self, user_id, *, system_call=False):
        self._renew_files_cache()

        result = []

        for file in self._ids_to_file_map.values():
            history_entry = self._extract_history_entry(file)
            if history_entry is not None and self._can_access_entry(history_entry, user_id, system_call):
                result.append(history_entry)

        return result

    def find_history_entry(self, execution_id, user_id):
        self._renew_files_cache()