Move inet to safe copies.

diff --git a/servers/fs/device.c b/servers/fs/device.c
index 14dd6c3a09bbaf8ee1fce178b21ebec02453db89..03ca76fecb85b66a45d81ee7402314934e97f2f6 100644 (file)
--- a/servers/fs/device.c
+++ b/servers/fs/device.c
@@ -181,8 +181,10 @@ off_t *pos;
        /* Is this device driver (identified by major number)
         * ready to accept *_S commands?
         */
+#if 0
        if(major(dev) == 7)     /* major number of inet. */
                return 0;       /* inet is not safe-capable. */
+#endif
 
        /* Number of grants allocated in vector I/O. */
        *vec_grants = 0;