Strip leading id:/rfc822msgid:

When piped from other tools, the msgid may be prepended by extraneous
info, so strip it to grab the actual msgid.

Signed-off-by: Konstantin Ryabitsev <konstantin@linuxfoundation.org>

1 files changed, 3 insertions, 0 deletions

diff --git a/b4/mbox.py b/b4/mbox.py
index bb18fc9..5e301c2 100644
--- a/b4/mbox.py
+++ b/b4/mbox.py
@@ -385,6 +385,9 @@ def main(cmdargs):
             # Infer the project name from the URL, if possible
             if chunks[0] != 'r':
                 cmdargs.useproject = chunks[0]
+        # Handle special case when msgid is prepended by id: or rfc822msgid:
+        if msgid.find('id:') >= 0:
+            msgid = re.sub(r'^\w*id:', '', msgid)
 
         mboxfile = get_pi_thread_by_msgid(msgid, config, cmdargs)
         if mboxfile is None: