Removed invalid consistency check.

diff --git a/servers/vfs/read.c b/servers/vfs/read.c
index fa37d4d43799586d8af1f865ac0132d80ccd7488..c37e06b42a92e9698a61e78f35154de06c77e633 100644 (file)
--- a/servers/vfs/read.c
+++ b/servers/vfs/read.c
@@ -91,19 +91,12 @@ int rw_flag;                        /* READING or WRITING */
   {
        if (rw_flag == WRITING)
        {
-               if (vp->v_w_pipe_busy)
-               {
-                       panic(__FILE__,
-                               "read_write: pipe already has a writer",
-                               NO_NUM);
-               }
                if (fp->fp_cum_io_partial != 0)
                {
                        panic(__FILE__,
                "read_write: fp_cum_io_partial not clear for new pipe writer",
                                NO_NUM);
                }
-               vp->v_w_pipe_busy= TRUE;
        }
        return rw_pipe(rw_flag, usr, m_in.fd, f, m_in.buffer, m_in.nbytes);
   }
@@ -369,8 +362,6 @@ size_t req_size;
                }
        }
        fp->fp_cum_io_partial = 0;
-       if (rw_flag == WRITING)
-               vp->v_w_pipe_busy= FALSE;
        return cum_io;
   }
 

diff --git a/servers/vfs/vnode.c b/servers/vfs/vnode.c
index 6628a89cdfda29a4ebd4454df4b44a911de8461f..428b1cda7a097fdbb04e6a6adc1fbdfff5e6c849 100644 (file)
--- a/servers/vfs/vnode.c
+++ b/servers/vfs/vnode.c
@@ -34,7 +34,6 @@ int line;
        if (vp->v_ref_count == 0)
        {
                vp->v_pipe= NO_PIPE;
-               vp->v_w_pipe_busy= FALSE;
                vp->v_uid= -1;
                vp->v_gid= -1;
                vp->v_sdev= -1;

diff --git a/servers/vfs/vnode.h b/servers/vfs/vnode.h
index ee7dc6c7a830f525bf569b6690239ee3c7965f9f..2b66c9420d8fdbfd43ca6fa472d5947b81040fe4 100644 (file)
--- a/servers/vfs/vnode.h
+++ b/servers/vfs/vnode.h
@@ -11,7 +11,6 @@ EXTERN struct vnode {
   int v_fs_count;              /* # reference at the underlying FS */
   int v_ref_check;             /* for consistency checks */
   char v_pipe;                 /* set to I_PIPE if pipe */
-  char v_w_pipe_busy;          /* true iff writer suspended */
   off_t v_pipe_rd_pos;
   off_t v_pipe_wr_pos;
   endpoint_t v_bfs_e;          /* endpoint number for the FS proces in case