From ab607d74be4a3d41a6d2419325f0ad8b806fdc49 Mon Sep 17 00:00:00 2001 From: Ori Kotek Date: Tue, 1 Aug 2023 18:36:20 +0300 Subject: [PATCH] Support repo-specific configuration file --- pr_agent/agent/pr_agent.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/pr_agent/agent/pr_agent.py b/pr_agent/agent/pr_agent.py index 9347d188..cdc8eb0c 100644 --- a/pr_agent/agent/pr_agent.py +++ b/pr_agent/agent/pr_agent.py @@ -1,3 +1,4 @@ +import logging import os import shlex import tempfile @@ -47,7 +48,10 @@ class PRAgent: get_settings().load_file(repo_settings_file) finally: if repo_settings_file: - os.remove(repo_settings_file) + try: + os.remove(repo_settings_file) + except Exception as e: + logging.error(f"Failed to remove temporary settings file {repo_settings_file}", e) # Then, apply user specific settings if exists request = request.replace("'", "\\'")