vbatts/maubot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Fix uploading plugins with different versions

Browse source
This commit is contained in:
Tulir Asokan 2019-03-06 15:35:03 +02:00
parent 2bf1c41b53
commit 79c61d6889
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
maubot/management/api/plugin_upload.py
View file

@ -83,7 +83,7 @@ async def upload_replacement_plugin(plugin: ZippedPluginLoader, content: bytes,
dirname = os.path.dirname(plugin.path) dirname = os.path.dirname(plugin.path)
old_filename = os.path.basename(plugin.path) old_filename = os.path.basename(plugin.path)
if str(plugin.meta.version) in old_filename: if str(plugin.meta.version) in old_filename:
replacement = (new_version if plugin.meta.version != new_version replacement = (str(new_version) if plugin.meta.version != new_version
else f"{new_version}-ts{int(time())}") else f"{new_version}-ts{int(time())}")
filename = re.sub(f"{re.escape(str(plugin.meta.version))}(-ts[0-9]+)?", filename = re.sub(f"{re.escape(str(plugin.meta.version))}(-ts[0-9]+)?",
replacement, old_filename) replacement, old_filename)