From c109c49391e8e8bbd11da12d6acd216d9a2e28c9 Mon Sep 17 00:00:00 2001 From: RichardG867 Date: Mon, 23 May 2022 17:01:34 -0300 Subject: [PATCH] IntelExtractor: Fix unlocked removal of irrelevant files --- biostools/extractors.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/biostools/extractors.py b/biostools/extractors.py index 8a25974..5980e73 100644 --- a/biostools/extractors.py +++ b/biostools/extractors.py @@ -1487,6 +1487,9 @@ class IntelExtractor(Extractor): # Stop if this file has an irrelevant extension. file_name_lower = file_name.lower() if file_name_lower[-3:] not in self._part_extensions: + # Acquire the multi-file lock. + self.multifile_lock_acquire(file_path) + # Remove file. try: os.remove(file_path)