From 79c61d688946ce6f9969dcedfc07928aaaf22eb0 Mon Sep 17 00:00:00 2001 From: Tulir Asokan Date: Wed, 6 Mar 2019 15:35:03 +0200 Subject: [PATCH] Fix uploading plugins with different versions --- maubot/management/api/plugin_upload.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/maubot/management/api/plugin_upload.py b/maubot/management/api/plugin_upload.py index c82fdcb..7abee4f 100644 --- a/maubot/management/api/plugin_upload.py +++ b/maubot/management/api/plugin_upload.py @@ -83,7 +83,7 @@ async def upload_replacement_plugin(plugin: ZippedPluginLoader, content: bytes, dirname = os.path.dirname(plugin.path) old_filename = os.path.basename(plugin.path) 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())}") filename = re.sub(f"{re.escape(str(plugin.meta.version))}(-ts[0-9]+)?", replacement, old_filename)