From 13a7694840c06bbd49875e16d68017dd44e937ab Mon Sep 17 00:00:00 2001 From: Konstantin Ryabitsev Date: Tue, 24 Mar 2020 16:02:40 -0400 Subject: 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 --- b4/mbox.py | 3 +++ 1 file changed, 3 insertions(+) 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: -- cgit v1.2.3