]> arthur.barton.de Git - bup.git/commitdiff
save-cmd: exit nonzero if any errors were encountered.
authorAvery Pennarun <apenwarr@gmail.com>
Sun, 21 Mar 2010 05:24:31 +0000 (01:24 -0400)
committerAvery Pennarun <apenwarr@gmail.com>
Sun, 21 Mar 2010 05:50:22 +0000 (01:50 -0400)
Somehow I forgot to do this before.

cmd/save-cmd.py

index afb250611a3bb549ba7384e87283d6240faf02ec..411215b3a5fd495dea0d9ca9bb6b3c6cb6a606af 100755 (executable)
@@ -267,3 +267,4 @@ if cli:
 
 if saved_errors:
     log('WARNING: %d errors encountered while saving.\n' % len(saved_errors))
+    sys.exit(1)