From 9223f6b2e836e59ea50550511e00ebc73427b8e4 Mon Sep 17 00:00:00 2001
From: Tim Abbott <tabbott@zulip.com>
Date: Mon, 26 Aug 2013 14:29:41 -0400
Subject: [PATCH] zephyr_mirror: Allow running multiple zephyr mirroring
 scripts under one user.

(imported from commit ecec50ee0e51736487358ef9f5847000d35f327a)
---
 bots/zephyr_mirror_backend.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/bots/zephyr_mirror_backend.py b/bots/zephyr_mirror_backend.py
index 4dbfefc..6af0785 100755
--- a/bots/zephyr_mirror_backend.py
+++ b/bots/zephyr_mirror_backend.py
@@ -1045,7 +1045,11 @@ or specify the --api-key-file option.""" % (options.api_key_file,))))
     if not options.test_mode:
         pgrep_query = "python.*zephyr_mirror"
         if options.shard is not None:
+            # sharded class mirror
             pgrep_query = "%s.*--shard=%s" % (pgrep_query, options.shard)
+        elif options.user is not None:
+            # Personals mirror on behalf of another user.
+            pgrep_query = "%s.*--user=%s" % (pgrep_query, options.user)
         proc = subprocess.Popen(['pgrep', '-U', os.environ["USER"], "-f", pgrep_query],
                                 stdout=subprocess.PIPE,
                                 stderr=subprocess.PIPE)