delete redis key

2025-01-30 23:25:02 +08:00
parent ab18c801e9
commit 32a4c15b6d
1 changed files with 1 additions and 2 deletions
--- 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/")