# HG changeset patch
# User Matt Mackall <mpm@selenic.com>
# Date 1130986780 28800
# Node ID 5f0522d31967577bc682d8a7fb40e2a59611dfff
# Parent  91c0e8d7ddcfc5b56d879d512a6d189926220b33
Allow interrupting all parts of verify



diff -r 91c0e8d7ddcf -r 5f0522d31967 mercurial/localrepo.py
--- a/mercurial/localrepo.py	Wed Nov 02 16:13:41 2005 -0800
+++ b/mercurial/localrepo.py	Wed Nov 02 18:59:40 2005 -0800
@@ -1618,6 +1618,9 @@
                                  (short(n), short(p)))
             try:
                 changes = self.changelog.read(n)
+            except KeyboardInterrupt:
+                self.ui.warn(_("interrupted"))
+                raise
             except Exception, inst:
                 err(_("unpacking changeset %s: %s") % (short(n), inst))
 
@@ -1705,6 +1708,9 @@
                 # verify contents
                 try:
                     t = fl.read(n)
+                except KeyboardInterrupt:
+                    self.ui.warn(_("interrupted"))
+                    raise
                 except Exception, inst:
                     err(_("unpacking file %s %s: %s") % (f, short(n), inst))