]> git.notmuchmail.org Git - notmuch/commitdiff
CLI/git: fix name error
authorJakub Wilk <jwilk@jwilk.net>
Fri, 12 Jan 2024 16:27:49 +0000 (17:27 +0100)
committerDavid Bremner <david@tethera.net>
Sun, 14 Jan 2024 12:55:06 +0000 (08:55 -0400)
notmuch-git.py

index a11501ae4cfeb51988fc06b1015739d95d9fcf5d..29f7553127a2f3976268e583673860e658cced09 100644 (file)
@@ -247,7 +247,7 @@ def count_messages(prefix=None):
         stdout=_subprocess.PIPE, wait=True)
     if status != 0:
         _LOG.error("failed to run notmuch config")
-        sys.exit(1)
+        _sys.exit(1)
     return int(stdout.rstrip())
 
 def get_tags(prefix=None):