Fixed the problem of not being able to (edit and) save a file that is

open for reading (usually by an error REPL).  Files are now opened
allowing concurrent reads AND writes.

diff --git a/v7/src/microcode/ntfile.c b/v7/src/microcode/ntfile.c
index 15e0b7156cbf8dedf1471c7af34866480bbc6ee7..7804c09c8c807e26f2a4fc780f77b02f6b258cbe 100644 (file)
--- a/v7/src/microcode/ntfile.c
+++ b/v7/src/microcode/ntfile.c
@@ -1,8 +1,8 @@
 /* -*-C-*-
 
-$Id: ntfile.c,v 1.4 1993/09/13 18:36:20 gjr Exp $
+$Id: ntfile.c,v 1.5 1996/04/09 20:19:13 adams Exp $
 
-Copyright (c) 1992-1993 Massachusetts Institute of Technology
+Copyright (c) 1992-1996 Massachusetts Institute of Technology
 
 This material was developed by the Scheme project at the Massachusetts
 Institute of Technology, Department of Electrical Engineering and
@@ -98,8 +98,12 @@ DEFUN (name, (filename), CONST char * filename)                              \
   return  OS_open_handle (hFile);                                      \
 }
 
+// In the following we specify FILE_SHARE_READ | FILE_SHARE_WRITE
+// so that we can edit and save out a file while we are still in a
+// error REPL from a buggy source file.
+
 DEFUN_OPEN_FILE (OS_open_input_file,
-  (filename, GENERIC_READ, FILE_SHARE_READ, 0,
+  (filename, GENERIC_READ, FILE_SHARE_READ | FILE_SHARE_WRITE, 0,
    OPEN_EXISTING, FILE_ATTRIBUTE_NORMAL, 0));
 
 DEFUN_OPEN_FILE (OS_open_output_file,
@@ -107,15 +111,11 @@ DEFUN_OPEN_FILE (OS_open_output_file,
    CREATE_ALWAYS, FILE_ATTRIBUTE_NORMAL, 0));
 
 DEFUN_OPEN_FILE (OS_open_io_file,
-  (filename, GENERIC_READ | GENERIC_WRITE, FILE_SHARE_READ, 0,
+  (filename, GENERIC_READ | GENERIC_WRITE,
+   FILE_SHARE_READ | FILE_SHARE_WRITE, 0,
    OPEN_ALWAYS, FILE_ATTRIBUTE_NORMAL, 0));
 
 
-//DEFUN_OPEN_FILE (OS_open_input_file, O_RDONLY | _O_BINARY)
-//DEFUN_OPEN_FILE (OS_open_output_file, (O_WRONLY | O_CREAT | O_TRUNC | _O_BINARY))
-//DEFUN_OPEN_FILE (OS_open_io_file, (O_RDWR | O_CREAT))
-
-
 #ifdef HAVE_APPEND
 
 Tchannel
@@ -135,9 +135,6 @@ DEFUN (OS_open_append_file, (filename), CONST char * filename)
   return  OS_open_handle (hFile);
 }
 
-
-//DEFUN_OPEN_FILE (OS_open_append_file, (O_WRONLY | O_CREAT | O_APPEND | _O_BINARY))
-
 #else
 
 Tchannel