From 62744cfcec76df7f195973027ec783eb7e4d7a5c Mon Sep 17 00:00:00 2001 From: "Eric S. Raymond" Date: Tue, 26 Aug 2003 10:24:37 +0000 Subject: [PATCH] Refactored. --- shredcompare.py | 27 ++++++++++++++------------- 1 file changed, 14 insertions(+), 13 deletions(-) diff --git a/shredcompare.py b/shredcompare.py index ee485be..9dc513a 100755 --- a/shredcompare.py +++ b/shredcompare.py @@ -193,21 +193,22 @@ def shredcompare(tree1, tree2, shredsize, verbose): retry = True return filter(lambda x: x, matches) -mark_time = None +if __name__ == '__main__': + mark_time = None -def report_time(legend=None): - "Report time since start_time was set." - global mark_time - endtime = time.time() - if mark_time: - elapsed = endtime - mark_time - hours = elapsed/3600; elapsed %= 3600 - minutes = elapsed/60; elapsed %= 60 - seconds = elapsed - print "%%%%#%%%% %s: %dh, %dm, %ds" % (legend, hours, minutes, seconds) - mark_time = endtime + def report_time(legend=None): + "Report time since start_time was set." + global mark_time + endtime = time.time() + if mark_time: + elapsed = endtime - mark_time + hours = elapsed/3600; elapsed %= 3600 + minutes = elapsed/60; elapsed %= 60 + seconds = elapsed + print "%%%%#%%%% %s: %dh, %dm, %ds" % \ + (legend, hours, minutes, seconds) + mark_time = endtime -if __name__ == '__main__': try: (optlist, args) = getopt.getopt(sys.argv[1:], 'h:s:v') except getopt.GetoptError: -- 2.43.0