# HG changeset patch
# User mpm@selenic.com
# Date 1116458658 28800
# Node ID 0b0efe409d794cc263ba1b7933763df3eb23a6e5
# Parent  e6fc7ff522463b8a7dfb5ce00291cbac85e604d6
Fix two bugs in verify



diff -r e6fc7ff52246 -r 0b0efe409d79 hg
--- a/hg	Wed May 18 15:23:10 2005 -0800
+++ b/hg	Wed May 18 15:24:18 2005 -0800
@@ -433,7 +433,7 @@
 
         try:
             m = repo.manifest.read(n)
-        except Error, inst:
+        except Exception, inst:
             ui.warn("unpacking manifest %s: %s\n" % (hg.short(n), inst))
             errors += 1
             
@@ -505,7 +505,7 @@
               (files, changesets, revisions))
     
     if errors:
-        ui.warn("%d integrity errors encountered!\n")
+        ui.warn("%d integrity errors encountered!\n" % errors)
         sys.exit(1)
     
 else: