# HG changeset patch
# User Fabien Ninoles <fabien@tzone.org>
# Date 1409225503 14400
# Node ID f7112a0f9df715f0a16322b86ac319e04c4b665b
# Parent  7567c5e4db458afb6d4554fbdb05741cc0cdd9f4
Add pausing in case of errors.

diff -r 7567c5e4db45 -r f7112a0f9df7 update-hib.py
--- a/update-hib.py	Sun Jul 27 21:07:54 2014 -0400
+++ b/update-hib.py	Thu Aug 28 07:31:43 2014 -0400
@@ -280,6 +280,7 @@
                     logging.info("%s saved.", os.path.realpath(fn))
             except:
                 logging.exception("Error with download %r", dl)
+                input("Press enter to continue...")
         else:
             logging.info("No torrent, url is %s", dl.web)
             fn = os.path.basename(urllib.parse.urlsplit(dl.web).path)