let sync () = C.Blk.sync(); C.Inode.sync(); C.Super.sync ();; |
USEFS.umount
qui effectue un appel à sync
avant de
fermer le disque.
let sync = sync let umount () = sync(); let n = C.Inode.busy() in if n > 0 then system_error EBUSY "umount" (string_of_int n); D.close() |