Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 2021d122 authored by BOULLE Olivier's avatar BOULLE Olivier
Browse files

fix case when file has '__' in base name

parent 24548dc4
Branches
No related tags found
No related merge requests found
......@@ -102,7 +102,7 @@ def replace_files(uncompressed_dir_path, original_files_dir_path):
# directories already exists
pass
if "__" in header_line: # means the file is a split file that needs to be merged with the corresponding other split files
if "__" in header_line and "/" in header_line: # means the file is a split file that needs to be merged with the corresponding other split files
subfile_number_str, subfile_total_str = header_line.split("__")[1].split("/") # get the number of splits and the split index for this subfile
subfile_number, subfile_total = int(subfile_number_str), int(subfile_total_str) # warning, subfile count starts from 1
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment