# HG changeset patch
# User greg
# Date 1494612836 14400
# Node ID 62fe699992a5071ef4f56f6c918db3f2e13bb816
# Parent  6374c987b4a8fce10fa357cdf5989ccd442cd2c0
Uploaded

diff -r 6374c987b4a8 -r 62fe699992a5 utils.py
--- a/utils.py	Fri May 12 11:34:14 2017 -0400
+++ b/utils.py	Fri May 12 14:13: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):