Remove O_EXCL from flags used to create files to be copied out of a

Pintos scratch disk, in get_scratch_file.
Thanks to Godmar Back for pointing out the problem.

diff --git a/src/utils/pintos b/src/utils/pintos
index 0d7b8bca2476fa7946ccf288dcabdfeb089e4ac6..b803c949068eef8108bfd3dfbd02e32f30070be5 100755 (executable)
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -318,7 +318,7 @@ sub get_scratch_file {
 
     # Copy file data.
     my ($get_handle);
-    sysopen ($get_handle, $get_file_name, O_WRONLY | O_CREAT | O_EXCL, 0666)
+    sysopen ($get_handle, $get_file_name, O_WRONLY | O_CREAT, 0666)
       or die "$get_file_name: create: $!\n";
     copy_file ($disk_handle, $disk_file_name, $get_handle, $get_file_name,
               $size);