| Index: src/scripts/file_copy.py
|
| diff --git a/src/scripts/file_copy.py b/src/scripts/file_copy.py
|
| index 33a693b2f9d809741d2795e70da113157cedb5bf..8599b84eefad06f0299266646f1e75ca1b126a2b 100755
|
| --- a/src/scripts/file_copy.py
|
| +++ b/src/scripts/file_copy.py
|
| @@ -86,10 +86,10 @@ def main(argv):
|
| bytes_copied += bytes_written
|
| buf = os.read(if_fd, arg_bs)
|
|
|
| - t2 = time.time()
|
| -
|
| os.close(if_fd)
|
| os.close(of_fd)
|
| +
|
| + t2 = time.time()
|
|
|
| # print timing info
|
| print >> sys.stderr, 'copy %d bytes took %0.3f s' % (bytes_copied, t2 - t1)
|
|
|