# HG changeset patch # User greg # Date 1494851203 14400 # Node ID 238b555c57b5dc0f0cad918eb72c648bf9a90a71 # Parent 5b1873b55da5bbc38d9632aace33053f61523553 Uploaded diff -r 5b1873b55da5 -r 238b555c57b5 utils.py --- a/utils.py Fri May 05 10:30:15 2017 -0400 +++ b/utils.py Mon May 15 08:26:43 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('
Size | Name |
---|