From d3ae7480ccc7a0d3f764aef5c7e74598ccf220ae Mon Sep 17 00:00:00 2001
From: Alex Vandiver <alexmv@zulip.com>
Date: Thu, 5 May 2022 12:22:39 -0700
Subject: [PATCH] log-search: Handle settings.LOGGING_SHOW_PID.

---
 scripts/log-search | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/log-search b/scripts/log-search
index 3bcf5a21e9..583ee1dd88 100755
--- a/scripts/log-search
+++ b/scripts/log-search
@@ -114,6 +114,7 @@ PYTHON_LOG_LINE_RE = re.compile(
       (?P<date> \d+-\d+-\d+ ) \s+
       (?P<time> \d+:\d+:\d+\.\d+ ) \s+
       INFO \s+  # All access log lines are INFO
+      (pid:\d+ \s+) ?
       \[ (?P<source> zr(:\d+)?) \] \s+
       (?P<ip>
         \d{1,3}(\.\d{1,3}){3}