]> thyrsus.com Git - comparator.git/commitdiff
Better logging.
authorEric S. Raymond <esr@thyrsus.com>
Mon, 25 Aug 2003 23:02:31 +0000 (23:02 +0000)
committerEric S. Raymond <esr@thyrsus.com>
Mon, 25 Aug 2003 23:02:31 +0000 (23:02 +0000)
shredcompare.py

index 2220223b228c31d173132aa02eafcc758ea10795..5c407af2bd9a96c1d4aae6e3b84348808fe257a3 100755 (executable)
@@ -79,6 +79,8 @@ def eligible(file):
 def shredtree(tree):
     "Shred an entire file tree; return a dictionary of checksums-to-locations."
     shreds = {}
+    if verbose:
+        print "% Shredding", tree
     if os.path.exists(tree + ".hash"):
         # There's a precomputed shred list.
         rfp = open(tree + ".hash")
@@ -136,7 +138,7 @@ def report_time(legend=None):
         hours = elapsed/3600; elapsed %= 3600
         minutes = elapsed/60; elapsed %= 60
         seconds = elapsed
-        print "%% %s: %dh, %dm, %ds" % (legend, hours, minutes, seconds)
+        print "%%%%#%%%% %s: %dh, %dm, %ds" % (legend, hours, minutes, seconds)
     mark_time = endtime
 
 if __name__ == '__main__':