From fcd9821d106bc9e80d848a6999843e6af840fd36 Mon Sep 17 00:00:00 2001 From: mrT23 Date: Wed, 20 Sep 2023 15:57:06 +0300 Subject: [PATCH] protections --- pr_agent/algo/git_patch_processing.py | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/pr_agent/algo/git_patch_processing.py b/pr_agent/algo/git_patch_processing.py index 1a2bd22b..79366354 100644 --- a/pr_agent/algo/git_patch_processing.py +++ b/pr_agent/algo/git_patch_processing.py @@ -40,6 +40,10 @@ def extend_patch(original_file_str, patch_str, num_lines) -> str: extended_patch_lines.extend( original_lines[start1 + size1 - 1:start1 + size1 - 1 + num_lines]) + res = list(match.groups()) + for i in range(len(res)): + if res[i] is None: + res[i] = 0 try: start1, size1, start2, size2 = map(int, match.groups()[:4]) except: # '@@ -0,0 +1 @@' case @@ -207,10 +211,15 @@ __old hunk__ old_content_lines = [] if match: prev_header_line = header_line + + res = list(match.groups()) + for i in range(len(res)): + if res[i] is None: + res[i] = 0 try: - start1, size1, start2, size2 = map(int, match.groups()[:4]) + start1, size1, start2, size2 = map(int, res[:4]) except: # '@@ -0,0 +1 @@' case - start1, size1, size2 = map(int, match.groups()[:3]) + start1, size1, size2 = map(int, res[:3]) start2 = 0 elif line.startswith('+'):