From 32a4c15b6d4898f8ae06788a517064de4e7fb88c Mon Sep 17 00:00:00 2001 From: DingZQ Date: Thu, 30 Jan 2025 23:25:02 +0800 Subject: [PATCH] delete redis key --- main.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/main.py b/main.py index 417e07f..990d177 100644 --- a/main.py +++ b/main.py @@ -190,8 +190,7 @@ async def fastapi_run_project(network: str) -> str: return result finally: # 手动释放锁(可选,依赖过期时间自动释放更安全) - # redis_client.delete(lock_key) - pass + redis_client.delete(lock_key) # put in inp folder, name without extension @app.get("/runinp/")