changeset 19444:f9e04a4e28d0

gpg: show "Unknown key ID xxxxxxxx" when the status is ERRSIG
author Wei, Elson <elson.wei@gmail.com>
date Sun, 14 Jul 2013 21:50:52 +0800
parents 2a7fd31ac548
children 29c726e9c3ab
files hgext/gpg.py
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/hgext/gpg.py	Sun Jul 14 21:50:45 2013 +0800
+++ b/hgext/gpg.py	Sun Jul 14 21:50:52 2013 +0800
@@ -122,6 +122,10 @@
     validkeys = []
     # warn for expired key and/or sigs
     for key in keys:
+        if key[0] == "ERRSIG":
+            ui.write(_("%s Unknown key ID \"%s\"\n")
+                     % (prefix, shortkey(ui, key[1][:15])))
+            continue
         if key[0] == "BADSIG":
             ui.write(_("%s Bad signature from \"%s\"\n") % (prefix, key[2]))
             continue