resf/distro-tools
1
0
Fork 0
mirror of https://github.com/resf/distro-tools.git synced 2024-11-24 22:21:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Check against basename before deleting

Browse Source
This commit is contained in:
Mustafa Gezen 2023-02-04 01:54:32 +01:00
parent b8fa293e33
commit 5dde117301
Signed by untrusted user who does not match committer: mustafa
GPG Key ID: DCDF010D946438C1
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
apollo/publishing_tools/apollo_tree.py
View File

@ -269,7 +269,8 @@ async def update_repomd_xml(repomd_xml_path: str, updateinfo: dict):
f.write(xml_str) f.write(xml_str)
# Delete old updateinfo file if not the same as the new one # Delete old updateinfo file if not the same as the new one
if existing_updateinfo_path and existing_updateinfo_path != updateinfo_path: updinfo_base = os.path.basename(existing_updateinfo_path)
if existing_updateinfo_path and updinfo_base != updateinfo_path:
try: try:
logger.info("Deleting %s", existing_updateinfo_path) logger.info("Deleting %s", existing_updateinfo_path)
os.remove(existing_updateinfo_path) os.remove(existing_updateinfo_path)