mirror of
https://github.com/Cog-Creators/Red-DiscordBot.git
synced 2025-11-20 18:06:08 -05:00
[V3] Set r/w access before deleting files (#1412)
* [V3] set access before deleting * [V3] move+rename do_delete and use in repo removal in downloader
This commit is contained in:
@@ -13,6 +13,7 @@ from discord.ext import commands
|
||||
|
||||
from redbot.core import Config
|
||||
from redbot.core import data_manager
|
||||
from redbot.core.utils import safe_delete
|
||||
from .errors import *
|
||||
from .installable import Installable, InstallableType
|
||||
from .json_mixins import RepoJSONMixin
|
||||
@@ -614,7 +615,7 @@ class RepoManager:
|
||||
if repo is None:
|
||||
raise MissingGitRepo("There is no repo with the name {}".format(name))
|
||||
|
||||
shutil.rmtree(str(repo.folder_path))
|
||||
safe_delete(repo.folder_path)
|
||||
|
||||
try:
|
||||
del self._repos[name]
|
||||
|
||||
Reference in New Issue
Block a user