From ef0f93908b437a4a9df4f422fe2e4844514011db Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 3 Nov 2006 02:54:48 +0000
Subject: [PATCH] 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.

---
 src/utils/pintos | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/utils/pintos b/src/utils/pintos
index 0d7b8bc..b803c94 100755
--- 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);
-- 
2.30.2