# HG changeset patch # User greg # Date 1494851276 14400 # Node ID 3e5b6faed52251bfe1cf62bb15fe3486312b2118 # Parent 27c0651f04e337b0c872a7f7e63a03bbd1f999a9 Uploaded diff -r 27c0651f04e3 -r 3e5b6faed522 utils.py --- a/utils.py Fri May 05 10:30:33 2017 -0400 +++ b/utils.py Mon May 15 08:27:56 2017 -0400 @@ -27,14 +27,17 @@ return fstderr, fherr, fstdout, fhout -def move_directory_files(source_dir, destination_dir): +def move_directory_files(source_dir, destination_dir, copy=False): source_directory = os.path.abspath(source_dir) destination_directory = os.path.abspath(destination_dir) if not os.path.isdir(destination_directory): os.makedirs(destination_directory) for dir_entry in os.listdir(source_directory): source_entry = os.path.join(source_directory, dir_entry) - shutil.move(source_entry, destination_directory) + if copy: + shutil.copy(source_entry, destination_directory) + else: + shutil.move(source_entry, destination_directory) def run_command(cmd): @@ -53,7 +56,7 @@ def write_html_output(output, title, dir): with open(output, 'w') as fh: - fh.write('

%s

\n' % title) + fh.write('

%s: %d files

\n' % (title, len(os.listdir(dir)))) fh.write('

\n') fh.write('\n') for index, fname in enumerate(sorted(os.listdir(dir))):
Size Name