Merge branch 'dev' into redesigning-block-menu

This commit is contained in:
Abhimanyu Yadav
2025-05-19 22:27:23 +05:30
committed by GitHub

View File

@@ -1111,6 +1111,7 @@ class ExecutionManager(AppProcess):
redis.disconnect()
log(f"{prefix} ✅ Finished GraphExec cleanup")
exit(0)
# ------- UTILITIES ------- #