47803ee Use shutil.copyfile()

Authored and Committed by Mattia Verga 4 years ago
    Use shutil.copyfile()
    
    Use shutil.copyfile() instead shutil.copy2() so that we don't copy file permissions.
        
file modified
+1 -1