Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2002-11-24 18:47:36 -0800 (Sun, 24 Nov 2002)
Revision: 1783
Log message:

      Added a pseudo-filesystem.
      This is meant to be used for demand-generated files.
      

Changes	Path
+6 -9	mojavefs/src/uservfs/old/servers/umfs/cdev/cdev_chunk.ml
+1 -1	mojavefs/src/uservfs/old/servers/umfs/cdev/cdev_chunk.mli
+69 -233	mojavefs/src/uservfs/old/servers/umfs/cfs/cfs.ml
Properties	mojavefs/src/uservfs/old/servers/umfs/fs
Added	mojavefs/src/uservfs/old/servers/umfs/fs/.cvsignore
Properties	mojavefs/src/uservfs/old/servers/umfs/fs/.cvsignore
Added	mojavefs/src/uservfs/old/servers/umfs/fs/Makefile
Properties	mojavefs/src/uservfs/old/servers/umfs/fs/Makefile
Added	mojavefs/src/uservfs/old/servers/umfs/fs/fs_cdev.ml
Properties	mojavefs/src/uservfs/old/servers/umfs/fs/fs_cdev.ml
Added	mojavefs/src/uservfs/old/servers/umfs/fs/fs_chunk.ml
Properties	mojavefs/src/uservfs/old/servers/umfs/fs/fs_chunk.ml
Added	mojavefs/src/uservfs/old/servers/umfs/fs/fs_dir.ml
Properties	mojavefs/src/uservfs/old/servers/umfs/fs/fs_dir.ml
Added	mojavefs/src/uservfs/old/servers/umfs/fs/fs_errno.ml
Properties	mojavefs/src/uservfs/old/servers/umfs/fs/fs_errno.ml
Added	mojavefs/src/uservfs/old/servers/umfs/fs/fs_inode.ml
Properties	mojavefs/src/uservfs/old/servers/umfs/fs/fs_inode.ml
Added	mojavefs/src/uservfs/old/servers/umfs/fs/fs_mfs.ml
Properties	mojavefs/src/uservfs/old/servers/umfs/fs/fs_mfs.ml
Added	mojavefs/src/uservfs/old/servers/umfs/fs/fs_pseudo.ml
Properties	mojavefs/src/uservfs/old/servers/umfs/fs/fs_pseudo.ml
Added	mojavefs/src/uservfs/old/servers/umfs/fs/fs_super.ml
Properties	mojavefs/src/uservfs/old/servers/umfs/fs/fs_super.ml
Added	mojavefs/src/uservfs/old/servers/umfs/fs/fs_super.mli
Properties	mojavefs/src/uservfs/old/servers/umfs/fs/fs_super.mli
Added	mojavefs/src/uservfs/old/servers/umfs/fs/uservfs.ml
Properties	mojavefs/src/uservfs/old/servers/umfs/fs/uservfs.ml
+2 -2	mojavefs/src/uservfs/old/servers/umfs/main/Makefile
+6 -2	mojavefs/src/uservfs/old/servers/umfs/main/main.ml
+382 -115	mojavefs/src/uservfs/old/servers/umfs/main/server.ml
+2 -2	mojavefs/src/uservfs/old/servers/umfs/main/server.mli
Properties	mojavefs/src/uservfs/old/servers/umfs/mfs
Added	mojavefs/src/uservfs/old/servers/umfs/mfs/.cvsignore
Properties	mojavefs/src/uservfs/old/servers/umfs/mfs/.cvsignore
Added	mojavefs/src/uservfs/old/servers/umfs/mfs/Makefile
Properties	mojavefs/src/uservfs/old/servers/umfs/mfs/Makefile
Added	mojavefs/src/uservfs/old/servers/umfs/mfs/mfs_mux.ml
Properties	mojavefs/src/uservfs/old/servers/umfs/mfs/mfs_mux.ml
Added	mojavefs/src/uservfs/old/servers/umfs/mfs/mfs_mux.mli
Properties	mojavefs/src/uservfs/old/servers/umfs/mfs/mfs_mux.mli
+24 -4	mojavefs/src/uservfs/old/servers/umfs/mllib/idsource.ml
+1 -1	mojavefs/src/uservfs/old/servers/umfs/mllib/idsource.mli
Properties	mojavefs/src/uservfs/old/servers/umfs/pseudofs
Added	mojavefs/src/uservfs/old/servers/umfs/pseudofs/.cvsignore
Properties	mojavefs/src/uservfs/old/servers/umfs/pseudofs/.cvsignore
Added	mojavefs/src/uservfs/old/servers/umfs/pseudofs/Makefile
Properties	mojavefs/src/uservfs/old/servers/umfs/pseudofs/Makefile
Added	mojavefs/src/uservfs/old/servers/umfs/pseudofs/pseudofs.ml
Properties	mojavefs/src/uservfs/old/servers/umfs/pseudofs/pseudofs.ml
Added	mojavefs/src/uservfs/old/servers/umfs/pseudofs/pseudofs.mli
Properties	mojavefs/src/uservfs/old/servers/umfs/pseudofs/pseudofs.mli