User Tools

Site Tools



This shows you the differences between two versions of the page.

Link to this comparison view

close [2006/07/25 21:22]
close [2006/07/25 21:22] (current)
Line 1: Line 1:
 +# $EPIC: close.txt,v 1.2 2006/07/17 19:41:50 sthalik Exp $
 +$close(<​file descriptor>​)
 +This function unbinds the given file descriptor (previously returned by
 +the $[[open]]() function) from the underlying file, causing the file to be
 +committed to disk if necessary. ​ An error is returned if it is passed a
 +file descriptor not produced by an $[[open]]() call.
 +This function is used to close a file that was opened for reading or
 +writing by $[[open]](). ​ Data corruption may result if the client exits
 +before all open files are closed.
 +-1   error
 + ​0 ​  file closed successfully
close.txt ยท Last modified: 2006/07/25 21:22 (external edit)