# HG changeset patch
# User Wei, Elson <elson.wei@gmail.com>
# Date 1373809852 -28800
# Node ID f9e04a4e28d08d3bbc81e14e5edf3612aece4182
# Parent  2a7fd31ac5483cb5f282286f5c91ad464510834f
gpg: show "Unknown key ID xxxxxxxx" when the status is ERRSIG

diff -r 2a7fd31ac548 -r f9e04a4e28d0 hgext/gpg.py
--- 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